A carregar...
2LS: Heap Analysis and Memory Safety: (Competition Contribution)
2LS is a framework for analysis of sequential C programs based on the CPROVER infrastructure and template-based synthesis techniques for checking both safety and termination. The paper presents the main improvements done in 2LS since 2018, which concern mainly the way 2LS handles dynamically allocat...
Na minha lista:
| Publicado no: | Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Main Authors: | , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7480699/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45237-7_22 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|