All of this stuff is a work in progress.
- Elijah - https://github.com/elijah-team/
- Elijah - https://github.com/elijah-tng/
- Jnode-revisited - https://github.com/jnode-revisited/
- xen (something about can't allocate memory)
- tree sitter (jn* is/could be your friend)
- hurt our brain and use java 8 to join nasa
- soot and s___
- program splicing/slicing (those are two diff. things apparently)
- web interaction (aka swdp)
- try to prove something
- try to prove something else
- grr