4716 search results - page 600 / 944 » Iterative-free program analysis |
154
click to vote
IWSEC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
155
click to vote
IEEEARES
2008
IEEE
16 years 28 days ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
176
click to vote
RTSS
2007
IEEE
16 years 23 days ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
166
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
160
click to vote
ECOOP
2007
Springer
16 years 20 days ago
2007
Springer
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...