2lambda123/manticore

master

manticore

Grade	Name	Complexity	Churn	Issues
A	tests\native\test_cpu_automatic.py	3126	3	-
A	tests\native\test_x86_pcmpxstrx.py	2572	3	-
A	tests\native\test_aarch64cpu.py	1614	3	-
A	manticore\platforms\linux.py	677	21	7
A	manticore\platforms\evm.py	572	15	5
A	manticore\native\cpu\x86.py	551	13	2
A	tests\native\test_slam_regre.py	516	3	-
A	manticore\native\cpu\aarch64.py	496	6	2
A	manticore\wasm\executor.py	374	4	-
A	manticore\ethereum\manticore.py	370	16	9
A	manticore\core\smtlib\expression.py	314	11	-
A	tests\native\test_armv7cpu.py	306	5	2
A	manticore\native\cpu\arm.py	295	4	5
A	manticore\core\smtlib\visitors.py	292	10	2
A	manticore\native\memory.py	283	8	6
A	manticore\wasm\structure.py	274	5	4
A	tests\native\test_dyn.py	252	3	-
A	manticore\platforms\linux_syscall_stubs.py	238	4	-
A	manticore\platforms\decree.py	202	3	3
A	manticore\core\smtlib\solver.py	197	16	3