Matches in SemOpenAlex for { <https://semopenalex.org/work/W2954228300> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2954228300 abstract "Libraries offer reusable functionality through application programming interfaces (APIs) with usage constraints such as call conditions and orders. Constraint violations, i.e., API misuses, commonly lead to bugs and even security issues. In this paper, we introduce IMChecker, a constraint-directed static analysis toolkit to vet API usages in C programs powered by a domain-specific language (DSL) to specify the API usages. First, we propose a DSL, which covers most API usage constraint types and enables straightforward but precise specification by studying real-world API-misuse bug patches. Then, we design and implement a static analysis engine to automatically parse specifications into checking targets, identify potential API misuses and prune the false positives with rich semantics. We have instantiated IMChecker for C programs with user-friendly graphic interfaces and evaluated the widely used benchmarks and real-world projects. The results show that IMChecker outperforms 4.78-36.25% in precision and 40.25-55.21% w.r.t. state-of-the-arts toolkits. We also found 75 previously unknown bugs in Linux kernel, OpenSSL and applications of Ubuntu, 61 of which have been confirmed by the corresponding development communities. Video: https://youtu.be/YGDxeyOEVIM." @default.
- W2954228300 created "2019-07-12" @default.
- W2954228300 creator A5010494711 @default.
- W2954228300 creator A5021215265 @default.
- W2954228300 creator A5021451658 @default.
- W2954228300 creator A5060117799 @default.
- W2954228300 creator A5068911982 @default.
- W2954228300 creator A5071579968 @default.
- W2954228300 creator A5088526794 @default.
- W2954228300 date "2019-05-01" @default.
- W2954228300 modified "2023-09-27" @default.
- W2954228300 title "Vetting API Usages in C Programs with IMChecker" @default.
- W2954228300 cites W2054520963 @default.
- W2954228300 cites W2140021378 @default.
- W2954228300 cites W2145994642 @default.
- W2954228300 cites W2247002685 @default.
- W2954228300 cites W2405678927 @default.
- W2954228300 cites W2511368574 @default.
- W2954228300 cites W2741422284 @default.
- W2954228300 cites W2963900765 @default.
- W2954228300 doi "https://doi.org/10.1109/icse-companion.2019.00046" @default.
- W2954228300 hasPublicationYear "2019" @default.
- W2954228300 type Work @default.
- W2954228300 sameAs 2954228300 @default.
- W2954228300 citedByCount "5" @default.
- W2954228300 countsByYear W29542283002019 @default.
- W2954228300 countsByYear W29542283002021 @default.
- W2954228300 countsByYear W29542283002023 @default.
- W2954228300 crossrefType "proceedings-article" @default.
- W2954228300 hasAuthorship W2954228300A5010494711 @default.
- W2954228300 hasAuthorship W2954228300A5021215265 @default.
- W2954228300 hasAuthorship W2954228300A5021451658 @default.
- W2954228300 hasAuthorship W2954228300A5060117799 @default.
- W2954228300 hasAuthorship W2954228300A5068911982 @default.
- W2954228300 hasAuthorship W2954228300A5071579968 @default.
- W2954228300 hasAuthorship W2954228300A5088526794 @default.
- W2954228300 hasConcept C111919701 @default.
- W2954228300 hasConcept C115903868 @default.
- W2954228300 hasConcept C134306372 @default.
- W2954228300 hasConcept C135257023 @default.
- W2954228300 hasConcept C168065819 @default.
- W2954228300 hasConcept C184337299 @default.
- W2954228300 hasConcept C186644900 @default.
- W2954228300 hasConcept C199360897 @default.
- W2954228300 hasConcept C201374245 @default.
- W2954228300 hasConcept C2777230681 @default.
- W2954228300 hasConcept C2778485113 @default.
- W2954228300 hasConcept C33923547 @default.
- W2954228300 hasConcept C36503486 @default.
- W2954228300 hasConcept C38652104 @default.
- W2954228300 hasConcept C41008148 @default.
- W2954228300 hasConcept C544833334 @default.
- W2954228300 hasConcept C76155785 @default.
- W2954228300 hasConcept C97686452 @default.
- W2954228300 hasConceptScore W2954228300C111919701 @default.
- W2954228300 hasConceptScore W2954228300C115903868 @default.
- W2954228300 hasConceptScore W2954228300C134306372 @default.
- W2954228300 hasConceptScore W2954228300C135257023 @default.
- W2954228300 hasConceptScore W2954228300C168065819 @default.
- W2954228300 hasConceptScore W2954228300C184337299 @default.
- W2954228300 hasConceptScore W2954228300C186644900 @default.
- W2954228300 hasConceptScore W2954228300C199360897 @default.
- W2954228300 hasConceptScore W2954228300C201374245 @default.
- W2954228300 hasConceptScore W2954228300C2777230681 @default.
- W2954228300 hasConceptScore W2954228300C2778485113 @default.
- W2954228300 hasConceptScore W2954228300C33923547 @default.
- W2954228300 hasConceptScore W2954228300C36503486 @default.
- W2954228300 hasConceptScore W2954228300C38652104 @default.
- W2954228300 hasConceptScore W2954228300C41008148 @default.
- W2954228300 hasConceptScore W2954228300C544833334 @default.
- W2954228300 hasConceptScore W2954228300C76155785 @default.
- W2954228300 hasConceptScore W2954228300C97686452 @default.
- W2954228300 hasLocation W29542283001 @default.
- W2954228300 hasOpenAccess W2954228300 @default.
- W2954228300 hasPrimaryLocation W29542283001 @default.
- W2954228300 hasRelatedWork W1587224678 @default.
- W2954228300 hasRelatedWork W1601811574 @default.
- W2954228300 hasRelatedWork W170948064 @default.
- W2954228300 hasRelatedWork W2035447421 @default.
- W2954228300 hasRelatedWork W2124217695 @default.
- W2954228300 hasRelatedWork W2185368734 @default.
- W2954228300 hasRelatedWork W2769814451 @default.
- W2954228300 hasRelatedWork W3006199460 @default.
- W2954228300 hasRelatedWork W4238381353 @default.
- W2954228300 hasRelatedWork W4245713008 @default.
- W2954228300 isParatext "false" @default.
- W2954228300 isRetracted "false" @default.
- W2954228300 magId "2954228300" @default.
- W2954228300 workType "article" @default.