Matches in SemOpenAlex for { <https://semopenalex.org/work/W2610072009> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2610072009 abstract "The paper describes a static analysis approach for buffer overflow detection in C/C++ source code. This algorithm is designed to be path-sensitive as it is based on symbolic execution with state merging. For now, it works only with buffers on stack or on static memory with compile-time known size. We propose a formal definition for buffer overflow errors that are caused by executing a particular sequence of program control-flow edges. To detect such errors, we present an algorithm for computing a summary for each program value at any program point along multiple paths. This summary includes all joined values at join points with path conditions. It also tracks value relations such as arithmetic operations, cast instructions, binary relations from constraints. For any buffer access we compute a sufficient condition for overflow using this summary for index variable and the reachability condition for the current function point. If this condition is proved to be satisfiable by an SMT-solver, we use its model given by the solver to detect error path and report the warning with this path. This approach was implemented for Svace static analyzer as the new buffer overflow detector, and it has found a significant amount of unique true warnings that are not covered by the old buffer overflow detector implementations." @default.
- W2610072009 created "2017-05-05" @default.
- W2610072009 creator A5016025096 @default.
- W2610072009 creator A5016761662 @default.
- W2610072009 creator A5032217919 @default.
- W2610072009 date "2016-01-01" @default.
- W2610072009 modified "2023-09-26" @default.
- W2610072009 title "Statically detecting buffer overflows in C/C++" @default.
- W2610072009 doi "https://doi.org/10.15514/ispras-2016-28(4)-9" @default.
- W2610072009 hasPublicationYear "2016" @default.
- W2610072009 type Work @default.
- W2610072009 sameAs 2610072009 @default.
- W2610072009 citedByCount "2" @default.
- W2610072009 countsByYear W26100720092018 @default.
- W2610072009 crossrefType "journal-article" @default.
- W2610072009 hasAuthorship W2610072009A5016025096 @default.
- W2610072009 hasAuthorship W2610072009A5016761662 @default.
- W2610072009 hasAuthorship W2610072009A5032217919 @default.
- W2610072009 hasBestOaLocation W26100720091 @default.
- W2610072009 hasConcept C11413529 @default.
- W2610072009 hasConcept C119024030 @default.
- W2610072009 hasConcept C136643341 @default.
- W2610072009 hasConcept C160191386 @default.
- W2610072009 hasConcept C169590947 @default.
- W2610072009 hasConcept C173608175 @default.
- W2610072009 hasConcept C177264268 @default.
- W2610072009 hasConcept C199360897 @default.
- W2610072009 hasConcept C2776760102 @default.
- W2610072009 hasConcept C2777735758 @default.
- W2610072009 hasConcept C2777904410 @default.
- W2610072009 hasConcept C2778112365 @default.
- W2610072009 hasConcept C2778770139 @default.
- W2610072009 hasConcept C2779639559 @default.
- W2610072009 hasConcept C40842320 @default.
- W2610072009 hasConcept C41008148 @default.
- W2610072009 hasConcept C54355233 @default.
- W2610072009 hasConcept C86803240 @default.
- W2610072009 hasConcept C9395851 @default.
- W2610072009 hasConcept C97686452 @default.
- W2610072009 hasConceptScore W2610072009C11413529 @default.
- W2610072009 hasConceptScore W2610072009C119024030 @default.
- W2610072009 hasConceptScore W2610072009C136643341 @default.
- W2610072009 hasConceptScore W2610072009C160191386 @default.
- W2610072009 hasConceptScore W2610072009C169590947 @default.
- W2610072009 hasConceptScore W2610072009C173608175 @default.
- W2610072009 hasConceptScore W2610072009C177264268 @default.
- W2610072009 hasConceptScore W2610072009C199360897 @default.
- W2610072009 hasConceptScore W2610072009C2776760102 @default.
- W2610072009 hasConceptScore W2610072009C2777735758 @default.
- W2610072009 hasConceptScore W2610072009C2777904410 @default.
- W2610072009 hasConceptScore W2610072009C2778112365 @default.
- W2610072009 hasConceptScore W2610072009C2778770139 @default.
- W2610072009 hasConceptScore W2610072009C2779639559 @default.
- W2610072009 hasConceptScore W2610072009C40842320 @default.
- W2610072009 hasConceptScore W2610072009C41008148 @default.
- W2610072009 hasConceptScore W2610072009C54355233 @default.
- W2610072009 hasConceptScore W2610072009C86803240 @default.
- W2610072009 hasConceptScore W2610072009C9395851 @default.
- W2610072009 hasConceptScore W2610072009C97686452 @default.
- W2610072009 hasLocation W26100720091 @default.
- W2610072009 hasOpenAccess W2610072009 @default.
- W2610072009 hasPrimaryLocation W26100720091 @default.
- W2610072009 isParatext "false" @default.
- W2610072009 isRetracted "false" @default.
- W2610072009 magId "2610072009" @default.
- W2610072009 workType "article" @default.