No project yet, join one!
Nothing at the moment
over 8 years ago: jirislaby originated static analysis
almost 9 years ago: jirislaby originated filesystem checking using symbolic execution