jirislaby

No likes yet, spread some

2

0

0

0

Looking for projects around:

Nothing at the moment

Activity

almost 11 years ago: jirislaby originated static analysis

over 11 years ago: jirislaby originated filesystem checking using symbolic execution