Keyword:symbolic execution

Papers
Trace-based Deductive Verification Richard Bubel, Dilian Gurov, Reiner Hähnle and Marco Scaletta In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities Guilhem Lacombe, David Féliot, Etienne Boespflug and Marie-Laure Potet In:Proceedings of 10th International Workshop on Security Proofs for Embedded Systems
A Vulnerability Detection Framework for Hyperledger Fabric Smart Contracts Based on Dynamic and Static Analysis Peiru Li, Shanshan Li, Mengjie Ding, Jiapeng Yu, He Zhang, Xin Zhou and Jingyue Li EasyChair Preprint no. 8161