Super Fast Concolic Execution Engine based on Source Code Taint Tracing - View it on GitHub