Scalable taint specification inference with big code.
Victor ChibotaruBenjamin BichselVeselin RaychevMartin T. VechevPublished in: PLDI (2019)
Keyphrases
- control flow
- code generation
- data flow
- source code
- reactive systems
- probabilistic inference
- bayesian inference
- highly scalable
- software testing
- information systems
- high level
- bayesian networks
- security policies
- inference mechanism
- inference process
- formal specification
- inference engine
- unit testing
- windows xp
- data sets
- processor core
- specification language
- web scale
- big data
- test cases
- neural network