A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit <a rel="external noopener" href="http://web.cse.ohio-state.edu:80/~qin/pub-papers/Modeling-WCRE12.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Modeling Software Execution Environment
<span title="">2012</span>
<i title="IEEE">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qjdq73uwobgdxnahtgyqdrsouu" style="color: black;">2012 19th Working Conference on Reverse Engineering</a>
</i>
Preserved Fulltext
Software execution environment, interfaced with software through library functions and system calls, constitutes an important aspect of the software's semantics. Software analysis ought to take the execution environment into consideration. However, due to lack of source code and the inherent implementation complexity of these functions, it is quite difficult to co-analyze software and its environment. In this paper, we propose to extend program synthesis techniques to construct models for
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/wcre.2012.51">doi:10.1109/wcre.2012.51</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/wcre/QiSQZZR12.html">dblp:conf/wcre/QiSQZZR12</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oadfuyj5jvdlfjxo44fu4fck4m">fatcat:oadfuyj5jvdlfjxo44fu4fck4m</a>
</span>
more »
... and library functions. The technique samples the behavior of the original implementation of a function. The samples are used as the specification to synthesize the model, which is a C program. The generated model is iteratively refined. We have developed a prototype that can successfully construct models for a pool of system and library calls from their real world complex binary implementations. Moreover, our experiments have shown that the constructed models can improve dynamic test generation and failure tolerance.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150513190542/http://web.cse.ohio-state.edu:80/~qin/pub-papers/Modeling-WCRE12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/64/7b/647bd8f1ded67a6d0d998dad8d9f60fcff2817d2.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/wcre.2012.51">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ieee.com
</button>
</a>