Voltar
Artigo Revisado por pares
BIBTEX RIS

Using static symbolic execution to detect buffer overflows

2017; Pleiades Publishing; Volume: 43; Issue: 5 Linguagem: Inglês

10.1134/s0361768817050024

ISSN

1608-3261

Autores

И. А. Дудина, Andrey Belevantsev,

Tópico(s)

Software Testing and Debugging Techniques

Referência(s)