SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis.
Mohan CuiChengjun ChenHui XuYangfan ZhouPublished in: ACM Trans. Softw. Eng. Methodol. (2023)
Keyphrases
- synthetic data
- statistical analysis
- data processing
- data sets
- training data
- data structure
- data analysis
- experimental data
- data sources
- data mining techniques
- original data
- raw data
- data points
- high quality
- database
- probability distribution
- data collection
- data quality
- limited memory
- flow analysis
- computer systems
- end users
- prior knowledge
- high dimensional
- data mining
- forensic analysis
- memory capacity