No likes yet, spread some
Nothing at the moment
over 10 years ago: jirislaby originated static analysis
almost 11 years ago: jirislaby originated filesystem checking using symbolic execution