~/talk

FIXX: FInding eXploits from eXamples

Talkat USENIX Security '25 · 2025-08-13..08-15· [security, web-platform]
links:none on file
links:none on file
links:none on file
links:none on file
slides:none on file

FIXX is a tool that takes a disclosed PHP exploit, replays it to extract the taint-style dataflow path, builds a code graph, and finds instruction similarity and path similarity matches across the app. It scores instructions by reusability and sensitivity to pick seeds, stitches S-paths and D-paths, and verifies candidates with symbolic execution using Z3. Evaluated on 19 PHP apps from 32 CVE reports, FIXX finds 1,097 similar exploitable paths and yields 10 new CVE submissions, outperforming Navix, RIPS, and clone-based approaches.

AI-written summary · about

  1. 0:00FIXX introduction
  2. 1:35Vulnerability detection limits
  3. 3:21Problem and motivation
  4. 4:45FIXX approach overview
  5. 5:26Exploit execution and paths
  6. 6:30Instruction and path similarity
  7. 8:16Reusability and sensitivity scores
  8. 9:38Finding similar instructions
  9. 10:42Detecting exploitable paths
  10. 11:46Evaluation setup
  11. 12:28Performance analysis
  12. 13:53Threshold and module impact
  13. 14:14Discovered exploitable paths
  14. 14:54Tool comparison
  15. 15:15Conclusion
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.