Loading...
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...
Na minha lista:
| Udgivet i: | Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Main Authors: | , , , , , , , |
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
2020
|
| Fag: | |
| Online adgang: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7480679/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45237-7_31 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|