A Library Modeling Language for the Static Analysis of C Programs.
Abdelraouf OuadjaoutAntoine MinéPublished in: SAS (2020)
Keyphrases
- modeling language
- static analysis
- symbolic execution
- dynamic analysis
- source code
- metamodel
- control flow
- abstract interpretation
- language constructs
- java card
- regular expressions
- business process modeling
- test suite
- uml profile
- declarative language
- code generation
- test generation
- api calls
- open source
- constraint language
- platform independent
- relational databases