Why exactly web analysis?

1 It uses Z3's plug-in interface. They use term solver-based analysis tool for both static and dynamic analysis tool. They implement concatenation, sub-string, and replace functions. HAMPI, DPRLE, Rex support only string operations.

Sergey Vartanov, 2007–2020