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!
|
Tag hinzufügen | 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 |