work Arbiter A scalable and precise hybrid vulnerability analysis framework PuzzIL An intermediate language fuzzer for PHP fun