Matches in SemOpenAlex for { <https://semopenalex.org/work/W3168894245> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3168894245 abstract "IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation. It can detect or prove the absence of runtime errors (e.g, buffer overflows, integer overflows, null pointer dereferences, etc.) in the source code. IKOS uses Abstract Interpretation techniques to compute an over-approximation of all the reachable states of the program, thus it cannot miss a bug. In this talk, I will give an overview of the tool, then show how to apply it to a large software. I will present ikos-view, a web interface to examine the analysis results. I will discuss about methods to improve the analysis, such as adding code annotations, modeling library functions, and avoiding specific code patterns." @default.
- W3168894245 created "2021-06-22" @default.
- W3168894245 creator A5067627042 @default.
- W3168894245 date "2019-10-09" @default.
- W3168894245 modified "2023-09-27" @default.
- W3168894245 title "IKOS: Sound Static Program Analysis" @default.
- W3168894245 hasPublicationYear "2019" @default.
- W3168894245 type Work @default.
- W3168894245 sameAs 3168894245 @default.
- W3168894245 citedByCount "0" @default.
- W3168894245 crossrefType "journal-article" @default.
- W3168894245 hasAuthorship W3168894245A5067627042 @default.
- W3168894245 hasConcept C102379954 @default.
- W3168894245 hasConcept C11413529 @default.
- W3168894245 hasConcept C137287247 @default.
- W3168894245 hasConcept C150202949 @default.
- W3168894245 hasConcept C154945302 @default.
- W3168894245 hasConcept C199360897 @default.
- W3168894245 hasConcept C2777904410 @default.
- W3168894245 hasConcept C2780654840 @default.
- W3168894245 hasConcept C28180684 @default.
- W3168894245 hasConcept C40842320 @default.
- W3168894245 hasConcept C41008148 @default.
- W3168894245 hasConcept C43126263 @default.
- W3168894245 hasConcept C527412718 @default.
- W3168894245 hasConcept C529173508 @default.
- W3168894245 hasConcept C7263679 @default.
- W3168894245 hasConcept C80444323 @default.
- W3168894245 hasConcept C97686452 @default.
- W3168894245 hasConceptScore W3168894245C102379954 @default.
- W3168894245 hasConceptScore W3168894245C11413529 @default.
- W3168894245 hasConceptScore W3168894245C137287247 @default.
- W3168894245 hasConceptScore W3168894245C150202949 @default.
- W3168894245 hasConceptScore W3168894245C154945302 @default.
- W3168894245 hasConceptScore W3168894245C199360897 @default.
- W3168894245 hasConceptScore W3168894245C2777904410 @default.
- W3168894245 hasConceptScore W3168894245C2780654840 @default.
- W3168894245 hasConceptScore W3168894245C28180684 @default.
- W3168894245 hasConceptScore W3168894245C40842320 @default.
- W3168894245 hasConceptScore W3168894245C41008148 @default.
- W3168894245 hasConceptScore W3168894245C43126263 @default.
- W3168894245 hasConceptScore W3168894245C527412718 @default.
- W3168894245 hasConceptScore W3168894245C529173508 @default.
- W3168894245 hasConceptScore W3168894245C7263679 @default.
- W3168894245 hasConceptScore W3168894245C80444323 @default.
- W3168894245 hasConceptScore W3168894245C97686452 @default.
- W3168894245 hasLocation W31688942451 @default.
- W3168894245 hasOpenAccess W3168894245 @default.
- W3168894245 hasPrimaryLocation W31688942451 @default.
- W3168894245 hasRelatedWork W115840114 @default.
- W3168894245 hasRelatedWork W1491609820 @default.
- W3168894245 hasRelatedWork W1522089540 @default.
- W3168894245 hasRelatedWork W1856462361 @default.
- W3168894245 hasRelatedWork W1979582240 @default.
- W3168894245 hasRelatedWork W2097697841 @default.
- W3168894245 hasRelatedWork W2111825754 @default.
- W3168894245 hasRelatedWork W2126508237 @default.
- W3168894245 hasRelatedWork W2166858727 @default.
- W3168894245 hasRelatedWork W2170886848 @default.
- W3168894245 hasRelatedWork W2295201563 @default.
- W3168894245 hasRelatedWork W2472218294 @default.
- W3168894245 hasRelatedWork W2561738593 @default.
- W3168894245 hasRelatedWork W2733008955 @default.
- W3168894245 hasRelatedWork W2784848347 @default.
- W3168894245 hasRelatedWork W2908843851 @default.
- W3168894245 hasRelatedWork W2970850455 @default.
- W3168894245 hasRelatedWork W3103543923 @default.
- W3168894245 hasRelatedWork W3138245174 @default.
- W3168894245 hasRelatedWork W82217049 @default.
- W3168894245 isParatext "false" @default.
- W3168894245 isRetracted "false" @default.
- W3168894245 magId "3168894245" @default.
- W3168894245 workType "article" @default.