In this paper, we present APISAN, a tool that automatically infers correct API usages from source code without manual effort. The key idea in APISAN is to ...
In APISAN, the higher the observed number of API uses, potentially even from different programs, the stronger is the belief in the inferred correct use. Once ...
APISAN is a tool that automatically infers correct API usages from source code without manual effort. The key idea in APISAN is to extract likely correct ...
In this paper, we present APISAN, a tool that automatically infers correct API usages from source code without manual effort. The key idea in APISAN is to ...
[PDF] APISAN: Sanitizing API Usages through Semantic Cross-checking
www.cs.toronto.edu › data › sec16
Abstract. API misuse is a well-known source of bugs. Some of them (e.g., incorrect use of SSL API, and integer overflow of memory allocation size) can cause ...
This paper presents APIS AN, a tool that automatically infers correct API usages from source code without manual effort, and applies it to 92 million lines ...
Complex APIs result in programmers' mistakes. •Problems in documentation. - Incomplete: e.g., low details in hostname verification.
Complex APIs result in programmers' mistakes. •Problems in documentation. - Incomplete: e.g., low details in hostname verification.
2021/02/01 · APISan: Sanitizing API Usages through Semantic Cross-Checking. USENIX Security Symposium 2016: 363-378 a service of Schloss Dagstuhl - Leibniz Center for ...
2016/08/11 · APISan: Sanitizing API Usages through Semantic Cross-Checking. https://usenix.org/conference/usenixsecurity16/technical-sessions ...