jslaby@suse.com
No likes yet, spread some
Nothing at the moment
about 6 years ago: jirislaby originated static analysis
over 6 years ago: jirislaby originated filesystem checking using symbolic execution
