Login / Signup

Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation.

Marianne De MichielArmelle BonenfantHugues CasséPascal Sainrat
Published in: RTCSA (2008)
Keyphrases
  • flow analysis
  • abstract interpretation
  • static analysis
  • dynamic analysis
  • information flow
  • case study
  • termination analysis
  • knowledge representation
  • forensic analysis
  • query language
  • reasoning engine