Refinement-Based CFG Reconstruction from Unstructured Programs-Reference-Cited by-同舟云学术

Refinement-Based CFG Reconstruction from Unstructured Programs

Published:2011 Issue: Volume: Page:54-69
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bardin Sébastien,Herrmann Philippe,Védrine Franck

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-18275-4_6

Reference24 articles.

1. Lecture Notes in Computer Science;G. Balakrishnan,2005

2. Baufreton, P., Heckmann, R.: Reliable and precise wcet and stack size determination for a real-life embedded application. In: ISoLA, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14 (2007)

3. Bardin, S., Herrmann, P.: Structural Testing of Executables. In: IEEE ICST 2008. IEEE Computer Society, Los Alamitos (2008)

4. Bardin, S., Herrmann, P.: OSMOSE: Automatic Structural Testing of Executables. International Journal of Software Testing, Verification and Reliability (STVR), doi 10.1002/stvr.423

5. Lecture Notes in Computer Science;G. Balakrishnan,2004

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

1. Hardware-Assisted Static and Runtime Attestation for Cloud Deployments;IEEE Transactions on Cloud Computing;2023-10

2. SSA Translation Is an Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-01-09

3. Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support;Lecture Notes in Computer Science;2023

4. Relational abstract interpretation of arrays in assembly code;Formal Methods in System Design;2021-12

5. Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine;2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE);2021-05