957 search results - page 34 / 192 » Modular Static Program Analysis |
126
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
102
Voted
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
139
Voted
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
WCET
2008
15 years 3 months ago
2008
We have developed a new programming paradigm which, for conforming programs, allows the averagecase execution time (ACET) to be obtained automatically by a static analysis. This i...