Login / Signup
A Modular Static Analysis Approach to Affine Loop Invariants Detection.
Corinne Ancourt
Fabien Coelho
François Irigoin
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
static analysis
dynamic analysis
source code
affine invariant
malicious code
symbolic execution
java card
detection algorithm
abstract interpretation
object detection
detection method
test generation
real world
open source
case study
affine transformation
database