182 search results - page 27 / 37 » Static Program Analysis for Java Card Applets |
125
click to vote
ATVA
2004
Springer
15 years 7 months ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
112
click to vote
MSR
2006
ACM
15 years 8 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
149
click to vote
JOT
2007
15 years 2 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
106
click to vote
PLDI
1998
ACM
15 years 6 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
101
click to vote
ECR
2006
15 years 2 months ago
2006
Within the software industry software piracy is a great concern. In this article we address this issue through a prevention technique called software watermarking. Depending on ho...