Keyword:symbolic execution

Papers
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