Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
Antoine MinéPublished in: Log. Methods Comput. Sci. (2012)
Keyphrases
- static analysis
- real time
- symbolic execution
- dynamic analysis
- source code
- abstract interpretation
- malicious code
- pc cluster
- test generation
- parallel processing
- parallel implementation
- regular expressions
- smart camera
- open source
- multi threaded
- test suite
- parallel computing
- semantic information
- pattern matching
- low cost
- relational databases
- real world