Static program analysis assisted dynamic taint tracking for software vulnerability discovery.
Ruoyu ZhangShiqiu HuangZhengwei QiHaibing GuanPublished in: Comput. Math. Appl. (2012)
Keyphrases
- control flow
- dynamically updated
- real time
- kalman filter
- software design
- software tools
- software systems
- particle filter
- software development
- appearance model
- source code
- open source
- data flow
- motion tracking
- security risks
- discovery process
- visual tracking
- target tracking
- software developers
- test cases
- dynamic environments
- knowledge discovery