1760 search results - page 211 / 352 » Program Analysis Using Weighted Pushdown Systems |
143
click to vote
KBSE
2006
IEEE
15 years 11 months ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...
155
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Malicious software is rampant on the Internet and costs billions of dollars each year. Safe and thorough analysis of malware is key to protecting vulnerable systems and cleaning...
184
Voted
RTCSA
2003
IEEE
15 years 10 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
182
Voted
TACS
1994
Springer
15 years 9 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
153
click to vote
JAVA
2001
Springer
15 years 9 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...