Partitioned Memory Models for Program Analysis-Reference-Cited by-同舟云学术

Partitioned Memory Models for Program Analysis

Published:2017 Issue: Volume: Page:539-558
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Wang Wei,Barrett Clark,Wies Thomas

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-52234-0_29

Reference30 articles.

1. Andersen, L.O.: Program analysis and specialization for the C programming language. Ph.D. thesis, University of Copenhagen, May 1994

2. Balatsouras, G., Smaragdakis, Y.: Structure-sensitive points-to analysis for C and C++. In: Static Analysis Symposium (SAS) (2016)

3. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard - version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (SMT) (2010)

4. Beyer, D.: Reliable and reproducible competition results with benchexec and witnesses (reported on SV-COMP 2016). In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (2016)

5. Böhme, S., Moskal, M.: Heaps, data structures: a challenge for automated provers. In: Conference on Automated Deduction (CADE) (2011)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking;Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses;2023-10-16

2. CirC: Compiler infrastructure for proof systems, software verification, and more;P IEEE S SECUR PRIV;2022

3. Separating Map Variables in a Logic-Based Intermediate Verification Language;Networked Systems;2021

4. An SMT Encoding of LLVM’s Memory Model for Bounded Translation Validation;Computer Aided Verification;2021

5. Analyzing system software components using API model guided symbolic execution;Automated Software Engineering;2020-09-19