Matches in SemOpenAlex for { <https://semopenalex.org/work/W1577913589> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1577913589 startingPage "40" @default.
- W1577913589 abstract "Static analysis is a widespread method to gain confidence in the reliability of software. Such analyses are mainly carried out on source code but Reps et al. highlight the relevance of analysing executables because of what they call the WYSINWYX phenomenon. They have therefore designed the value-set analysis and implemented it in CodeSurfer/x86, their tool for analysing x86 executables. However executables may be obfuscated, i.e. made hard to analyse. Although there are specific desobfuscation methods to address the analysis of obfuscated programs, we wonder how robust generic analyses and tools are, and up to which extent they are able to yield sound and precise results. The case of soundness is also addressed from an other point of view: in order to trust an analysis result, there must be strong evidence that the analyser is correct. Formal methods can provide such evidence. In this study we first review obfuscation purposes and techniques, as well as the method of the value-set analysis. Then experiments are carried on to better understand the robustness of analysers. Finally thanks to the Coq proof assistant, a subset of the value-set analysis for a toy assembly-like language is formalized. A certified checker enables to prove the soundness of a result." @default.
- W1577913589 created "2016-06-24" @default.
- W1577913589 creator A5088318447 @default.
- W1577913589 date "2011-06-21" @default.
- W1577913589 modified "2023-09-27" @default.
- W1577913589 title "Static Analysis of x86 Assembly: Certification and Robustness Analysis" @default.
- W1577913589 cites W1504130524 @default.
- W1577913589 cites W1517398235 @default.
- W1577913589 cites W1551162551 @default.
- W1577913589 cites W1553894716 @default.
- W1577913589 cites W1558115254 @default.
- W1577913589 cites W1560253649 @default.
- W1577913589 cites W1560986578 @default.
- W1577913589 cites W2030906223 @default.
- W1577913589 cites W2043100293 @default.
- W1577913589 cites W2105334567 @default.
- W1577913589 cites W2118246192 @default.
- W1577913589 cites W2120647256 @default.
- W1577913589 cites W2126851641 @default.
- W1577913589 cites W2141097255 @default.
- W1577913589 cites W2166462894 @default.
- W1577913589 cites W2261245720 @default.
- W1577913589 cites W2852225 @default.
- W1577913589 cites W66546368 @default.
- W1577913589 hasPublicationYear "2011" @default.
- W1577913589 type Work @default.
- W1577913589 sameAs 1577913589 @default.
- W1577913589 citedByCount "0" @default.
- W1577913589 crossrefType "journal-article" @default.
- W1577913589 hasAuthorship W1577913589A5088318447 @default.
- W1577913589 hasConcept C104317684 @default.
- W1577913589 hasConcept C137287247 @default.
- W1577913589 hasConcept C160145156 @default.
- W1577913589 hasConcept C170723468 @default.
- W1577913589 hasConcept C17744445 @default.
- W1577913589 hasConcept C185592680 @default.
- W1577913589 hasConcept C199360897 @default.
- W1577913589 hasConcept C199539241 @default.
- W1577913589 hasConcept C207850805 @default.
- W1577913589 hasConcept C2777904410 @default.
- W1577913589 hasConcept C39920170 @default.
- W1577913589 hasConcept C41008148 @default.
- W1577913589 hasConcept C46304622 @default.
- W1577913589 hasConcept C529173508 @default.
- W1577913589 hasConcept C55493867 @default.
- W1577913589 hasConcept C63479239 @default.
- W1577913589 hasConcept C97686452 @default.
- W1577913589 hasConcept C98183937 @default.
- W1577913589 hasConceptScore W1577913589C104317684 @default.
- W1577913589 hasConceptScore W1577913589C137287247 @default.
- W1577913589 hasConceptScore W1577913589C160145156 @default.
- W1577913589 hasConceptScore W1577913589C170723468 @default.
- W1577913589 hasConceptScore W1577913589C17744445 @default.
- W1577913589 hasConceptScore W1577913589C185592680 @default.
- W1577913589 hasConceptScore W1577913589C199360897 @default.
- W1577913589 hasConceptScore W1577913589C199539241 @default.
- W1577913589 hasConceptScore W1577913589C207850805 @default.
- W1577913589 hasConceptScore W1577913589C2777904410 @default.
- W1577913589 hasConceptScore W1577913589C39920170 @default.
- W1577913589 hasConceptScore W1577913589C41008148 @default.
- W1577913589 hasConceptScore W1577913589C46304622 @default.
- W1577913589 hasConceptScore W1577913589C529173508 @default.
- W1577913589 hasConceptScore W1577913589C55493867 @default.
- W1577913589 hasConceptScore W1577913589C63479239 @default.
- W1577913589 hasConceptScore W1577913589C97686452 @default.
- W1577913589 hasConceptScore W1577913589C98183937 @default.
- W1577913589 hasLocation W15779135891 @default.
- W1577913589 hasOpenAccess W1577913589 @default.
- W1577913589 hasPrimaryLocation W15779135891 @default.
- W1577913589 hasRelatedWork W1568191380 @default.
- W1577913589 hasRelatedWork W158967112 @default.
- W1577913589 hasRelatedWork W172994091 @default.
- W1577913589 hasRelatedWork W2292517751 @default.
- W1577913589 hasRelatedWork W2298387877 @default.
- W1577913589 hasRelatedWork W2465949211 @default.
- W1577913589 hasRelatedWork W2514903476 @default.
- W1577913589 hasRelatedWork W2621505085 @default.
- W1577913589 hasRelatedWork W2621980927 @default.
- W1577913589 hasRelatedWork W2770799585 @default.
- W1577913589 hasRelatedWork W2778826798 @default.
- W1577913589 hasRelatedWork W2867457158 @default.
- W1577913589 hasRelatedWork W2870640023 @default.
- W1577913589 hasRelatedWork W2888538076 @default.
- W1577913589 hasRelatedWork W2978342210 @default.
- W1577913589 hasRelatedWork W3120011499 @default.
- W1577913589 hasRelatedWork W3131705400 @default.
- W1577913589 hasRelatedWork W3136499069 @default.
- W1577913589 hasRelatedWork W3160282589 @default.
- W1577913589 hasRelatedWork W3205743220 @default.
- W1577913589 isParatext "false" @default.
- W1577913589 isRetracted "false" @default.
- W1577913589 magId "1577913589" @default.
- W1577913589 workType "article" @default.