jirislaby

jirislaby

2
0
0
0

Looking for projects around:

Nothing at the moment

Activity

  • over 7 years ago: jirislaby originated static analysis
  • about 8 years ago: jirislaby originated filesystem checking using symbolic execution