work Arbiter A scalable and precise hybrid vulnerability analysis framework PuzzIL An intermediate language fuzzer for PHP project 10 A project with an introduction section fun