Some patch for Navex (Precise and Scalable Exploit Generation for Dynamic Web Applications) - View it on GitHub