jirislaby

jirislaby

filesystem checking using symbolic execution

an idea by jirislaby

I already wrote a description and this shit ate it after I clicked create project (because "go home" overlapped). I won't write the long story second time, sorry. In short: symbolic execution on btrfs and input of death, that is.

Updated about 2 years ago. 1 hackers ♥️. Has no hacker: grab it!

static analysis

an idea by jirislaby

Various rests I have on my TODO on the bottom :).

Updated about 4 years ago. No love. Has no hacker: grab it!
2
0
0
0

Looking for projects around:

Nothing at the moment

Activity

  • about 6 years ago: jirislaby originated static analysis
  • over 6 years ago: jirislaby originated filesystem checking using symbolic execution