search

5hadowblad3 / Titan

Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"
45 stars 5 forks source link

Building PHP with Titan #7

Open shenan123 opened 3 weeks ago

shenan123 commented 3 weeks ago

Hello, I'm sorry to disturb you. May I ask why the time it takes for me to build a PHP program in Magma using Titan through your script is significantly different from the one in the paper (more than 3 days) and the memory consumption exceeds 100G.

acidghost commented 3 weeks ago

I experienced the same thing while evaluating Beacon (which is the baseline for Titan).

Unfortunately the version of Magma the authors used is not publicly available and the results are not reproducible on my end with the default Magma. It would be nice to have the complete source to reproduce this paper effectively.

Magma uses -O0 optimizations by default (https://github.com/HexHive/magma/blob/75d1ae7b180443a778b8830c79176ca5f93642ac/docker/Dockerfile#L79), my hypothesis is that this makes SVF and pointer analysis blow up. Maybe Titan does not use -O0 in the evaluation in the paper? Who knows..

5hadowblad3 commented 3 weeks ago

Hi all, thank you for evaluating Titan and Beacon.

This evaluation part of these projects is conducted by my collaborators, @qhjchc , who will take a look at the issues.

The project is gradually open-sourced (as Beacon is now open-sourced after Titan is published) due to several ongoing projects related to this prototype. Moreover, since I have left the lab owning these projects, some updates may not be in time. Sorry for the inconvenience caused.