Opportunities for concurrent dynamic analysis with explicit inter-core communication.
Jungwoo HaStephen P. CragoPublished in: PASTE (2010)
Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- communication overhead
- communication systems
- model checking
- information sharing
- concurrent programming
- databases
- abstract interpretation
- malicious behavior
- communication patterns
- communication channels
- source code
- software engineering
- communication cost
- communication protocol
- high level
- artificial intelligence
- machine learning