A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
Gespeichert in:
Veröffentlicht in: | TAP (16. : 2022 : Nantes) Tests and proofs |
---|---|
1. Verfasser: | |
Weitere Verfasser: | , , |
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
2022
|
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Titel | Jahr | Verfasser |
---|---|---|
Automatic Test-Case Generation with CoVeriTest (Extended Abstract) | 2022 | Jakobs, Marie-Christine |
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes | 2022 | Mouzarani, Maryam |
REACH on Register Automata via History Independence | 2022 | Dierl, Simon |
BDDL: A Type System for Binary Decision Diagrams | 2022 | Lembachar, Yousra |
Fuzzing and Delta Debugging And-Inverter Graph Verification Tools | 2022 | Kaufmann, Daniela |
Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing | 2022 | Marmsoler, Diego |
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction | 2022 | Nagashima, Yutaka |