A carregar...
Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification
The problem of improving precision of static analysis and verification techniques for C is hard due to simplification assumptions these techniques make about the code model. We present a novel approach to improving precision by executing the code model in a controlled environment that captures progr...
Na minha lista:
| Main Authors: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Yaroslavl State University
2015-12-01
|
| Colecção: | Modelirovanie i Analiz Informacionnyh Sistem |
| Assuntos: | |
| Acesso em linha: | https://www.mais-journal.ru/jour/article/view/293 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|