tao-ji / dyclone

eqminer: chop C code into trunks, make them compilable, and run them to find likely functionally equivalent code trunks.

Geek Repo

Github PK Tool

This repository is not active

About

eqminer: chop C code into trunks, make them compilable, and run them to find likely functionally equivalent code trunks.

Languages

Language:OCaml 50.9%Language:C 35.2%Language:Shell 4.4%Language:TeX 3.7%Language:Perl 2.6%Language:Python 1.6%Language:Makefile 1.0%Language:Standard ML 0.3%Language:M4 0.2%Language:Perl 6 0.1%Language:HTML 0.1%Language:Yacc 0.0%Language:Lex 0.0%Language:GDB 0.0%Language:C++ 0.0%Language:Batchfile 0.0%