https://github.com/bipinoli/study-of-concolic-execution

A study on path explosion problem in concolic execution
https://github.com/bipinoli/study-of-concolic-execution

Last synced: 7 months ago
JSON representation

A study on path explosion problem in concolic execution

• Host: GitHub
• URL: https://github.com/bipinoli/study-of-concolic-execution
• Owner: Bipinoli
• Created: 2023-03-13T13:50:16.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2023-03-29T00:00:35.000Z (over 2 years ago)
• Last Synced: 2025-01-23T08:43:29.045Z (9 months ago)
• Language: TeX
• Homepage:
• Size: 7.41 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Dynamic symbolic execution (concolic execution)

[link to the pdf report](seminar.pdf)

![Concolic_testing](https://user-images.githubusercontent.com/11765482/225393676-ebd75dfd-0109-4af6-882c-1fdde6438273.png)