Milestones

List view

• LAVA 3.5 - AARCH64 and Concolic Execution

  This paper would extend LAVA to be multi-architecture. This would also be the time to finalize AARCH64 support. The idea here is: 1- Get concolic execution with AARCH64 and x86-64 binaries and angr 2- See how LAVA works with both x86 and AARCH64 3- What happens if LAVA injects on x86-64 and we try to cross compile to ARM. Why would it fail? 4- Deep dive into differences on taint and bug injection because of archiecture

  Due by December 18, 2026

  •0/1 issues closed
  0% complete1 open0 closed

• LAVA 3.0 - Harder to Find Bugs and Chaff Bug Integration

  Aim for submitting for NDSS 2027, the paper will be upgraded LAVA as follows: 1- LAVA can plant both Chaff and real LAVA bugs to test if fuzzers can distinguish between them. 2- LAVA has re-architected bug mining phase, where it can inject bugs with ATPs and DUAs from different files 3- For future work, allow support for AARCH64, this will NOT be covered in the NDSS paper, but likely a follow up for IEEE S&P

  Due by November 13, 2026

  •25/25 issues closed
  100% complete0 open25 closed