jirislaby

No project yet, join one!

2

0

0

0

Looking for projects around:

Nothing at the moment

Activity

over 8 years ago: jirislaby originated static analysis

almost 9 years ago: jirislaby originated filesystem checking using symbolic execution