Dynamic Symbolic Execution

Creator
Creator
Seonglae ChoSeonglae Cho
Created
Created
2022 Jan 15 17:39
Editor
Edited
Edited
2024 Jul 5 16:17
Refs
Refs

Concolic Execution

 
구체적인 실행 경로를 따라 프로그램 변수를 기호 변수로 처리하는 고전적인 기법 인 기호 실행을 수행하는 하이브리드 소프트웨어 검증 기술
 
 
 
 
 
 
 

Recommendations