Replication Package for Article: Past-Sensitive Pointer Analysis for Symbolic Execution

2020 ◽  
Author(s):  
David Trabish ◽  
Timotej Kapus ◽  
Noam Rinetzky ◽  
Cristian Cadar
Keyword(s):  
Symbolic Execution ◽  
Pointer Analysis

Pointer Analysis

2015 ◽  
Author(s):  
Yannis Smaragdakis ◽  
George Balatsouras
Keyword(s):  
Pointer Analysis

Multiplex symbolic execution

2020 ◽  
Author(s):  
Yufeng Zhang ◽  
Zhenbang Chen ◽  
Ziqi Shuai ◽  
Tianqi Zhang ◽  
Kenli Li ◽  
...  
Keyword(s):  
Symbolic Execution

Exploiting Symbolic Execution to Accelerate Deterministic Databases

2020 ◽  
Author(s):  
Shady Issa ◽  
Miguel Viegas ◽  
Pedro Raminhas ◽  
Nuno Machado ◽  
Miguel Matos ◽  
...  
Keyword(s):  
Symbolic Execution

Machine learning steered symbolic execution framework for complex software code

2021 ◽  
Author(s):  
Lei Bu ◽  
Yongjuan Liang ◽  
Zhunyi Xie ◽  
Hong Qian ◽  
Yi-Qi Hu ◽  
...  
Keyword(s):  
Machine Learning ◽  
Symbolic Execution ◽  
Software Code
Sign in / Sign up

Export Citation Format

Share Document