Static Analysis of String Manipulations in Critical Embedded C Programs-Reference-Cited by-同舟云学术

Static Analysis of String Manipulations in Critical Embedded C Programs

Published:2006 Issue: Volume: Page:35-51
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Allamigeon Xavier,Godard Wenceslas,Hymans Charles

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11823230_4.pdf

Reference31 articles.

1. Aitel, D.: The advantage of block-based protocol analysis for security testing. Technical report, Immunity, Inc. (2002)

2. Baratloo, A., Singh, N., Tsai, T.: Transparent run-time defense against stack smashing attacks. In: Proceedings of the USENIX Annual Technical Conference 2000 (2000)

3. Biondi, P.: Scapy, http://www.secdev.org/projects/scapy/

4. Chess, B.: Improving computer security using extended static checking. In: IEEE Symposium on Security and Privacy (2002)

5. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the 4th ACM Symposium on Principles of Programming Languages. ACM Press, New York (1977)

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

1. Symbolic execution-based approach to extracting a micro state transition table;Proceedings of the 2019 ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things - TAV-CPS/IoT 2019;2019

2. Inferring functional properties of matrix manipulating programs by abstract interpretation;Formal Methods in System Design;2018-02-12

3. Modular Static Analysis of String Manipulations in C Programs;Static Analysis;2018

4. Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs;Static Analysis;2016

5. Global Sparse Analysis Framework;ACM Transactions on Programming Languages and Systems;2014-09-25