Login / Signup
Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions.
Wensheng Tang
Dejun Dong
Shijie Li
Chengpeng Wang
Peisen Yao
Jinguo Zhou
Charles Chuan Zhang
Published in:
ACM Trans. Softw. Eng. Methodol. (2024)
Keyphrases
</>
flow analysis
information flow
forensic analysis
sufficient conditions
shared memory
massively parallel
environmental conditions
real time
databases
genetic algorithm
scheduling problem
decision support
anomaly detection
shortest path
parallel processing