Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton - View it on GitHub