Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Sabino, Nuno"'
We introduce a new symbolic reflection API for implementing tool-independent summaries for the symbolic execution of C programs. We formalise the proposed API as a symbolic semantics and extend two state-of-the-art symbolic execution tools with suppo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e08b78c28e260cd81df2ab8a3a71a8a
The artifact contains the extended versions of the tools angr and AVD with support for the symbolic reflection API proposed in the paper. Additionally, the artifact contains the source code of SumBoundVerify, our novel tool for the bounded-verificati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3397d6fb657a7750f7acc4f4d877f38c