Towards Zero Alarms in Sound Static Analysis of Finite State Machines.
Josselin GietLaurent MauborgneDaniel KästnerChristian FerdinandPublished in: SAFECOMP (2019)
Keyphrases
- static analysis
- finite state machines
- regular expressions
- dynamic analysis
- source code
- model checking
- symbolic execution
- finite state automata
- pattern matching
- java card
- malicious code
- test generation
- query language
- false positives
- data sets
- xml schema
- regular languages
- query evaluation
- matching algorithm
- natural language processing
- hidden markov models
- database systems
- decision trees
- metadata