FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2989969174> ?p ?o ?g. }

• W2989969174 abstract "Application Programming Interfaces (APIs) usually have usage constraints, such as call conditions or call orders. Incorrect usage of these constraints, called API misuse, will result in system crashes, bugs, and even security problems. It is crucial to detect such misuses early in the development process. Though many approaches have been proposed over the last years, recent studies show that API misuses are still prevalent, especially the ones specific to individual projects. In this paper, we strive to improve current API-misuse detection capability for large-scale C programs. First, We propose IMSpec, a lightweight domain-specific language enabling developers to specify API usage constraints in three different aspects (i.e., parameter validation, error handling, and causal calling), which are the majority of API-misuse bugs. Then, we have tailored a constraint guided static analysis engine to automatically parse IMSpec rules and detect API-misuse bugs with rich semantics. We evaluate our approach on widely used benchmarks and real-world projects. The results show that our easily extensible approach performs better than state-of-the-art tools. We also discover 19 previously unknown bugs in real-world open-source projects, all of which have been confirmed by the corresponding developers." @default.
• W2989969174 created "2019-12-05" @default.
• W2989969174 creator A5000257041 @default.
• W2989969174 creator A5010494711 @default.
• W2989969174 creator A5021215265 @default.
• W2989969174 creator A5060117799 @default.
• W2989969174 creator A5071579968 @default.
• W2989969174 creator A5088526794 @default.
• W2989969174 date "2019-07-01" @default.
• W2989969174 modified "2023-09-27" @default.
• W2989969174 title "IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs" @default.
• W2989969174 cites W1457363419 @default.
• W2989969174 cites W1556262481 @default.
• W2989969174 cites W1982205631 @default.
• W2989969174 cites W2006596974 @default.
• W2989969174 cites W2008810193 @default.
• W2989969174 cites W201784039 @default.
• W2989969174 cites W2054520963 @default.
• W2989969174 cites W2095907349 @default.
• W2989969174 cites W2108632968 @default.
• W2989969174 cites W2140270836 @default.
• W2989969174 cites W2184438261 @default.
• W2989969174 cites W2247002685 @default.
• W2989969174 cites W2405678927 @default.
• W2989969174 cites W2484116259 @default.
• W2989969174 cites W2511368574 @default.
• W2989969174 cites W2522826901 @default.
• W2989969174 cites W2761343098 @default.
• W2989969174 cites W2794992746 @default.
• W2989969174 cites W2808820334 @default.
• W2989969174 cites W2889118403 @default.
• W2989969174 cites W2963900765 @default.
• W2989969174 cites W814172419 @default.
• W2989969174 doi "https://doi.org/10.1109/tase.2019.00006" @default.
• W2989969174 hasPublicationYear "2019" @default.
• W2989969174 type Work @default.
• W2989969174 sameAs 2989969174 @default.
• W2989969174 citedByCount "0" @default.
• W2989969174 crossrefType "proceedings-article" @default.
• W2989969174 hasAuthorship W2989969174A5000257041 @default.
• W2989969174 hasAuthorship W2989969174A5010494711 @default.
• W2989969174 hasAuthorship W2989969174A5021215265 @default.
• W2989969174 hasAuthorship W2989969174A5060117799 @default.
• W2989969174 hasAuthorship W2989969174A5071579968 @default.
• W2989969174 hasAuthorship W2989969174A5088526794 @default.
• W2989969174 hasConcept C1009929 @default.
• W2989969174 hasConcept C115903868 @default.
• W2989969174 hasConcept C127413603 @default.
• W2989969174 hasConcept C134306372 @default.
• W2989969174 hasConcept C168065819 @default.
• W2989969174 hasConcept C184337299 @default.
• W2989969174 hasConcept C186644900 @default.
• W2989969174 hasConcept C199360897 @default.
• W2989969174 hasConcept C2776036281 @default.
• W2989969174 hasConcept C2777904410 @default.
• W2989969174 hasConcept C32833848 @default.
• W2989969174 hasConcept C33923547 @default.
• W2989969174 hasConcept C36503486 @default.
• W2989969174 hasConcept C41008148 @default.
• W2989969174 hasConcept C78519656 @default.
• W2989969174 hasConcept C98045186 @default.
• W2989969174 hasConcept C99613125 @default.
• W2989969174 hasConceptScore W2989969174C1009929 @default.
• W2989969174 hasConceptScore W2989969174C115903868 @default.
• W2989969174 hasConceptScore W2989969174C127413603 @default.
• W2989969174 hasConceptScore W2989969174C134306372 @default.
• W2989969174 hasConceptScore W2989969174C168065819 @default.
• W2989969174 hasConceptScore W2989969174C184337299 @default.
• W2989969174 hasConceptScore W2989969174C186644900 @default.
• W2989969174 hasConceptScore W2989969174C199360897 @default.
• W2989969174 hasConceptScore W2989969174C2776036281 @default.
• W2989969174 hasConceptScore W2989969174C2777904410 @default.
• W2989969174 hasConceptScore W2989969174C32833848 @default.
• W2989969174 hasConceptScore W2989969174C33923547 @default.
• W2989969174 hasConceptScore W2989969174C36503486 @default.
• W2989969174 hasConceptScore W2989969174C41008148 @default.
• W2989969174 hasConceptScore W2989969174C78519656 @default.
• W2989969174 hasConceptScore W2989969174C98045186 @default.
• W2989969174 hasConceptScore W2989969174C99613125 @default.
• W2989969174 hasLocation W29899691741 @default.
• W2989969174 hasOpenAccess W2989969174 @default.
• W2989969174 hasPrimaryLocation W29899691741 @default.
• W2989969174 hasRelatedWork W1132472019 @default.
• W2989969174 hasRelatedWork W1558425096 @default.
• W2989969174 hasRelatedWork W1964976527 @default.
• W2989969174 hasRelatedWork W1993833135 @default.
• W2989969174 hasRelatedWork W2009199887 @default.
• W2989969174 hasRelatedWork W2067571567 @default.
• W2989969174 hasRelatedWork W2087527532 @default.
• W2989969174 hasRelatedWork W2213874590 @default.
• W2989969174 hasRelatedWork W2293835630 @default.
• W2989969174 hasRelatedWork W2416633934 @default.
• W2989969174 hasRelatedWork W2521352760 @default.
• W2989969174 hasRelatedWork W2572445426 @default.
• W2989969174 hasRelatedWork W2767550398 @default.
• W2989969174 hasRelatedWork W2793336447 @default.
• W2989969174 hasRelatedWork W2801944893 @default.
• W2989969174 hasRelatedWork W2967918977 @default.
• W2989969174 hasRelatedWork W3013893820 @default.
• W2989969174 hasRelatedWork W3088434905 @default.

• next