Thanks

Additionally, several people provided great feedback on Ekstazi:

  • Alex Gyori
  • Farah Hariri
  • Owolabi Legunsen
  • Jessy Li
  • Yu Lin
  • Aleksandar Milicevic
  • Rohan Sharma
  • August Shi
  • Aki Yoshida
  • Andrey Zaytsev

This material is based upon work partially supported by the National Science Foundation under Grant Nos. CNS-0958199, CCF-1012759, CCF-1566363, and CCF-1652517.

Ekstazi uses the ASM library for bytecode instrumentation (license).