1. ignoring one file because it's an intentional vuln 2. made a few small semantic changes, but verified that they're equivalent.