Static Analysis in Motion.
Brian ChessKris BrittonChris EngBill PughLakshmikanth RaghavanJacob WestPublished in: IEEE Secur. Priv. (2012)
Keyphrases
- static analysis
- dynamic analysis
- source code
- malicious code
- space time
- java card
- motion analysis
- motion model
- regular expressions
- motion estimation
- abstract interpretation
- symbolic execution
- image sequences
- optical flow
- human motion
- camera motion
- moving objects
- databases
- data sets
- building blocks
- open source
- case study
- test case generation