A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System.
Jong-Hoon LeeEui-Sub KimJunbeom YooJang-Soo LeePublished in: MIM (2013)
Keyphrases
- static analysis
- source code
- malicious code
- dynamic analysis
- symbolic execution
- regular expressions
- java card
- test generation
- reed solomon codes
- protection scheme
- open source
- privacy protection
- abstract interpretation
- test suite
- information security
- pattern matching
- artificial intelligence
- data sets
- data flow
- control method
- data model
- databases