2947 search results - page 9 / 590 » Analyzing Program Analyses |
186
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
To compute accurate information efficiently for programs that use pointer variables, a program analysis must account for the fact that a procedure may access different sets of mem...
KBSE
2009
IEEE
15 years 5 months ago
2009
IEEE
Given a program and an attack pattern (specified as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...
TIC
1998
Springer
15 years 2 months ago
1998
Springer
BMCBI
2007
14 years 10 months ago
2007
