Загрузка...
Symbiotic 7: Integration of Predator and More: (Competition Contribution)
Symbiotic 7 brings improvements in all parts of the tool. In particular, we integrated the advanced shape analysis implemented in Predator to our instrumentation process for memory safety checking. Further, we extended our slicer to correctly handle non-terminating programs. This new slicing is app...
Сохранить в:
| Опубликовано в: : | Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Главные авторы: | , , , , , , , |
| Формат: | Artigo |
| Язык: | Inglês |
| Опубликовано: |
2020
|
| Предметы: | |
| Online-ссылка: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7480679/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45237-7_31 |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|