Research – djvm.html

Defensive Java Virtual Machine Version 0.5 alpha Release. Built in ACL2.

You can download it from the following link: https://packetstormsecurity.com/files/download/16245/djvm.html

Source: https://packetstormsecurity.com/files/16245/djvm.html.html