Hi! I just discovered this powerful tool :-) But I do not know how to use it if mt_rand() is used to generate integers between [0;x] by (mt_rand() modulo x) instead of (round(mt_rand()/mt_max_rand() * x)). Is it possible with your tool?
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).