Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static
  Data-Flow Analysis   Rust is an emerging programming language that aims to prevent memory-safety
bugs. However, the current design of Rust also brings side effects which may
increase the risk of memory-safety issues. In particular, it employs OBRM
(ownership-based resource management) and enforces automatic deallocation of
unused resources without the garbage collector. It may therefore falsely
deallocate reclaimed memory and lead to use-after-free or double-free issues.
In this paper, we study the problem of invalid memory deallocation and propose
SafeDrop, a static path-sensitive data-flow analysis approach to detect such
bugs. Our approach analyzes each API of a Rust crate iteratively by traversing
the control-flow graph and extracting all aliases of each data-flow. To
guarantee precision and scalability, we leverage a modified Tarjan algorithm to
achieve scalable path-sensitive analysis, and a cache-based strategy to achieve
efficient inter-procedural analysis. Our experiment results show that our
approach can successfully detect all existing CVEs of such issues with a
limited number of false positives. The analysis overhead ranges from 1.0% to
110.7% in comparison with the original compilation time. We further apply our
tool to several real-world Rust crates and find 8 Rust crates involved with
invalid memory deallocation issues.

17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn
2
The categories of this paper are: math
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
24
The categories of this paper are: dg-ga
36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
32
The categories of this paper are: atom-ph
18
The categories of this paper are: econ
10
The categories of this paper are: q-bio
19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph