Matches in SemOpenAlex for { <https://semopenalex.org/work/W1546392912> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1546392912 abstract "Type unions, pointer variables and function pointers are a long standing source of subtle security bugs in C program code. Their use can lead to hard-to-diagnose crashes or exploitable vulnerabilities that allow an attacker to attain privileged access over classified data. This paper describes an automatable framework for detecting such weaknesses in C programs statically, where possible, and for generating assertions that will detect them dynamically, in other cases. Exclusively based on analysis of the source code, it identifies required assertions using a type inference system supported by a custom made symbol table. In our preliminary findings, our type system was able to infer the correct type of unions in different scopes, without manual code annotations or rewriting. Whenever an evaluation is not possible or is difficult to resolve, appropriate runtime assertions are formed and inserted into the source code. The approach is demonstrated via a prototype C analysis tool." @default.
- W1546392912 created "2016-06-24" @default.
- W1546392912 creator A5005661116 @default.
- W1546392912 creator A5014777222 @default.
- W1546392912 creator A5024426142 @default.
- W1546392912 creator A5071276579 @default.
- W1546392912 date "2010-05-05" @default.
- W1546392912 modified "2023-09-26" @default.
- W1546392912 title "Automatic generation of assertions to detect potential security vulnerabilities in C programs that use union and pointer types" @default.
- W1546392912 hasPublicationYear "2010" @default.
- W1546392912 type Work @default.
- W1546392912 sameAs 1546392912 @default.
- W1546392912 citedByCount "0" @default.
- W1546392912 crossrefType "journal-article" @default.
- W1546392912 hasAuthorship W1546392912A5005661116 @default.
- W1546392912 hasAuthorship W1546392912A5014777222 @default.
- W1546392912 hasAuthorship W1546392912A5024426142 @default.
- W1546392912 hasAuthorship W1546392912A5071276579 @default.
- W1546392912 hasConcept C150202949 @default.
- W1546392912 hasConcept C154690210 @default.
- W1546392912 hasConcept C154945302 @default.
- W1546392912 hasConcept C198370458 @default.
- W1546392912 hasConcept C199360897 @default.
- W1546392912 hasConcept C22680326 @default.
- W1546392912 hasConcept C2776214188 @default.
- W1546392912 hasConcept C29983905 @default.
- W1546392912 hasConcept C38652104 @default.
- W1546392912 hasConcept C41008148 @default.
- W1546392912 hasConcept C43126263 @default.
- W1546392912 hasConcept C527648132 @default.
- W1546392912 hasConcept C62913178 @default.
- W1546392912 hasConcept C97686452 @default.
- W1546392912 hasConcept C98183937 @default.
- W1546392912 hasConceptScore W1546392912C150202949 @default.
- W1546392912 hasConceptScore W1546392912C154690210 @default.
- W1546392912 hasConceptScore W1546392912C154945302 @default.
- W1546392912 hasConceptScore W1546392912C198370458 @default.
- W1546392912 hasConceptScore W1546392912C199360897 @default.
- W1546392912 hasConceptScore W1546392912C22680326 @default.
- W1546392912 hasConceptScore W1546392912C2776214188 @default.
- W1546392912 hasConceptScore W1546392912C29983905 @default.
- W1546392912 hasConceptScore W1546392912C38652104 @default.
- W1546392912 hasConceptScore W1546392912C41008148 @default.
- W1546392912 hasConceptScore W1546392912C43126263 @default.
- W1546392912 hasConceptScore W1546392912C527648132 @default.
- W1546392912 hasConceptScore W1546392912C62913178 @default.
- W1546392912 hasConceptScore W1546392912C97686452 @default.
- W1546392912 hasConceptScore W1546392912C98183937 @default.
- W1546392912 hasLocation W15463929121 @default.
- W1546392912 hasOpenAccess W1546392912 @default.
- W1546392912 hasPrimaryLocation W15463929121 @default.
- W1546392912 hasRelatedWork W143370413 @default.
- W1546392912 hasRelatedWork W1898597206 @default.
- W1546392912 hasRelatedWork W1926604100 @default.
- W1546392912 hasRelatedWork W2043140846 @default.
- W1546392912 hasRelatedWork W2056167392 @default.
- W1546392912 hasRelatedWork W2096230959 @default.
- W1546392912 hasRelatedWork W2097990218 @default.
- W1546392912 hasRelatedWork W2098806455 @default.
- W1546392912 hasRelatedWork W2111556049 @default.
- W1546392912 hasRelatedWork W2141179168 @default.
- W1546392912 hasRelatedWork W2171295941 @default.
- W1546392912 hasRelatedWork W2184391316 @default.
- W1546392912 hasRelatedWork W2557277866 @default.
- W1546392912 hasRelatedWork W3090753608 @default.
- W1546392912 hasRelatedWork W3177101730 @default.
- W1546392912 hasRelatedWork W3196417642 @default.
- W1546392912 hasRelatedWork W60611840 @default.
- W1546392912 hasRelatedWork W1517245127 @default.
- W1546392912 hasRelatedWork W1938946519 @default.
- W1546392912 hasRelatedWork W2959295913 @default.
- W1546392912 isParatext "false" @default.
- W1546392912 isRetracted "false" @default.
- W1546392912 magId "1546392912" @default.
- W1546392912 workType "article" @default.