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.
static analysis
an idea by jirislaby
Various rests I have on my TODO on the bottom :).
2
0
0
0
Looking for projects around:
Nothing at the moment
Activity