Skip to content

Software Reversing Lab - Concolic execution vs Model learning

Notifications You must be signed in to change notification settings

werew/Concolic-VS-Learning

Repository files navigation

Software Reversing Lab - Concolic execution vs Model learning

course: https://www.4tu.nl/cybsec/en/course-program/str/

The objective of this lab was to apply KLEE and LearnLib to the RERS reachability problems (http://rers-challenge.org/), experiment with the tool’s settings and discover which settings (eg. LearnLib's TTT algorithm) works best. In addition (as a bonus task) we combined KLEE and LearnLib in order to achieve size increase in learned models.

The report coverers the following questions:

  • What are the sizes of models you can learn using LearnLib?
  • Does LearnLib or KLEE reach more statements?
  • What is the benefit of using KLEE?
  • What is the benefit of using LearnLib?

The report is available here.
A complete description of the lab can be seen here.

About

Software Reversing Lab - Concolic execution vs Model learning

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published