diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2016-01-22 15:50:29 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2016-03-17 15:37:14 +0100 |
| commit | 28335f53f75f8404d6a5432e3a860531e2903f71 (patch) | |
| tree | 2354fbdf747ca1fd295ffbb82c2c61d38447291e /example/samples | |
| parent | 9f1f7447b9857b033894c2b8552cf2fd0540c2f7 (diff) | |
| download | miasm-28335f53f75f8404d6a5432e3a860531e2903f71.tar.gz miasm-28335f53f75f8404d6a5432e3a860531e2903f71.zip | |
Test/depgraph: use z3 to remove unsatisfiable solutions
Diffstat (limited to 'example/samples')
| -rw-r--r-- | example/samples/x86_32_if_reg.S | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/example/samples/x86_32_if_reg.S b/example/samples/x86_32_if_reg.S new file mode 100644 index 00000000..f519f8f7 --- /dev/null +++ b/example/samples/x86_32_if_reg.S @@ -0,0 +1,11 @@ +main: + MOV EAX, 0x0 + CMP EBX, 0 + JZ skip1 + OR EAX, 0x11220000 +skip1: + CMP EBX, 0 + JZ skip2 + OR EAX, 0x3344 +skip2: + RET |