IKOS: A Framework for Static Analysis Based on Abstract Interpretation-Reference-Cited by-同舟云学术

IKOS: A Framework for Static Analysis Based on Abstract Interpretation

Published:2014 Issue: Volume: Page:271-277
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Brat Guillaume,Navas Jorge A.,Shi Nija,Venet Arnaud

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-10431-7_20

Reference10 articles.

1. IKOS: Inference Kernel for Open Static Analyzers, http://ti.arc.nasa.gov/opensource/ikos/

2. Brat, G., Klemm, R.: Static Analysis of the Mars Exploration Rover Flight Software. In: Space Mission Challenge for Information Technology, pp. 321–326 (2003)

3. Bygde, S.: Abstract Interpretation and Abstract Domains with special attention to the congruence domain. Master’s thesis. Mälardalen University, Sweden (2006)

4. Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: POPL, pp. 238–252 (1977)

5. Lecture Notes in Computer Science;P. Cousot,2005

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

1. CaLLi: OCaml library for static analysis of LLVM bitcode;SoftwareX;2024-09

2. Evaluating C/C++ Vulnerability Detectability of Query-Based Static Application Security Testing Tools;IEEE Transactions on Dependable and Secure Computing;2024-09

3. Sound and precise static analysis using a generalization of static single assignment and value numbering;International Journal on Software Tools for Technology Transfer;2024-08-27

4. Speeding up static analysis with the split operator;International Journal on Software Tools for Technology Transfer;2024-08-27

5. Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing;Proceedings of the ACM on Software Engineering;2024-07-12