Static analysis for detecting high-level races in RTOS kernels.
Rekha R. PaiAbhishek SinghDeepak D'SouzaMeenakshi D'SouzaPrathibha PrakashPublished in: Formal Methods Syst. Des. (2021)
Keyphrases
- static analysis
- high level
- source code
- dynamic analysis
- low level
- malicious code
- test generation
- symbolic execution
- java card
- kernel function
- regular expressions
- support vector
- programming language
- open source
- test suite
- abstract interpretation
- higher level
- database systems
- real world
- relational databases
- decision trees