Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2109.03698
Cited By
v1
v2 (latest)
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution
8 September 2021
D. Kuts
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution"
3 / 3 papers shown
Title
Strong Optimistic Solving for Dynamic Symbolic Execution
Darya Parygina
A. Vishnyakov
A. Fedotov
41
2
0
08 Sep 2022
Casr-Cluster: Crash Clustering for Linux Applications
Georgy Savidov
A. Fedotov
23
8
0
27 Dec 2021
Symbolic Security Predicates: Hunt Program Weaknesses
A. Vishnyakov
Vlada Logunova
Eli Kobrin
D. Kuts
Darya Parygina
A. Fedotov
33
3
0
10 Nov 2021
1
