static analysis
Static analysis is mentioned in 94 events. This topic is an active interest of Andreas Podelski, Tao Xie and Byron Cook.
tracker for static analysis
August 1, 2008
8th IEEE international working conference on source code analysis and manipulation (SCAM 2008) was updated.
- Topics: Static analysis
July 30, 2008
ACM SIGPLAN workshop on partial evaluation and program manipulation (PEPM 2009) was added.
- Topics: Static analysis
July 9, 2008
2nd workshop on formal languages and analysis of contract-oriented software (FLACOS 2008) was added.
- Topics: Static analysis
Facts
Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.