DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Rename test -> tests (#66)

Browse Source 
* rename test -> tests

* re-add ignored tests
This commit is contained in:
JP Smith
2017-03-13 14:06:36 -05:00
committed by GitHub
parent dd24878724
commit ca0bee2377
81 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/memdumps/simple_parse/README
+3
View File
@@ -0,0 +1,3 @@
How to run the test:
python SymbolicExecutor/main.py --offset 0 --workspace test --buffer "EBP-88" --size "0x84" tests/simple_parse/simple_parse.dmp
tests/memdumps/simple_parse/args.json
+9
View File
@@ -0,0 +1,9 @@
{
"--offset": "0",
"--buffer": "EBP-88",
"--size": "0x84",
"--procs": "2",
"dump": "simple_parse.dmp",
"actual": "visited.txt",
"expected": "simple_parse_visited.txt"
}
tests/memdumps/simple_parse/simple_parse.c
+78
View File
@@ -0,0 +1,78 @@
// compile with
// cl /Fe:simple_parse.exe simple_parse.c
//
// make memory dump with:
// .dump /ma simple_parse.dmp
//
#include <stdio.h>
typedef int(*parse)(const char *s);
const char* string_table[] = {
"zero",
"one",
"two",
"three"};
int parse_zero(const char *s) {
printf("parse zero\n");
char c = s[0] - '0';
if(c > sizeof(string_table)/sizeof(string_table[0])) {
printf("invalid value\n");
return -1;
}
printf("string table: %s\n", string_table[c]);
return 0;
}
int parse_one(const char *s) {
printf("parse one\n");
printf("not implemented\n");
return 0;
}
int parse_two(const char *s) {
printf("parse two\n");
printf("%s", s);
return 0;
}
int parse_three(const char *s) {
char c = s[0];
if((int)c > (int)(sizeof(string_table)/sizeof(string_table[0]))) {
printf("invalid value\n");
return -1;
}
const char *st = string_table[c];
// ensure dereference
char first_c = st[0];
printf("parse three\nbroken string table: %c\n", first_c);
return 0;
}
parse ptable[] = {
parse_zero,
parse_one,
parse_two,
parse_three};
int main(int argc, const char *argv[]) {
struct foo {
int index;
char s[128];
} myvar;
printf("reading an entry: ");
scanf("%d %s", &(myvar.index), myvar.s);
// break for windbg
__debugbreak();
if(myvar.index > (sizeof(ptable)/sizeof(ptable[0]))) {
printf("Invalid parse index\n");
} else {
parse parser = ptable[myvar.index];
parser(myvar.s);
}
return 0;
}
tests/memdumps/simple_parse/simple_parse.dmp
Executable
BIN
View File
Binary file not shown.
tests/memdumps/simple_parse/simple_parse_visited.txt
+739
View File
@@ -0,0 +1,739 @@
0:01021000
0:01021001
0:01021003
0:01021004
0:01021009
0:01021060
0:01021061
0:01021063
0:01021068
0:01021090
0:01021091
0:01021093
0:01021098
0:010210c0
0:010210c1
0:010210c3
0:010210c6
0:010210cb
0:010210ce
0:010210d1
0:010210d4
0:010210d7
0:010210db
0:010210de
0:010210e0
0:010210e5
0:010210f2
0:010210f6
0:010210fd
0:01021100
0:01021105
0:01021108
0:0102116c
0:01021173
0:01021175
0:0102117a
0:01021184
0:0102118a
0:01021191
0:01021197
0:0102119d
0:0102119e
0:010211cc
0:010211ce
0:010211d3
0:010211d8
0:010211da
0:010211dd
0:010211df
0:010211e2
0:010211e5
0:010211e7
0:010211fe
0:01021203
0:01021206
0:01021207
0:01021209
0:0102120e
0:0102120f
0:01021210
0:01021213
0:01021218
0:0102121b
0:0102121c
0:01021221
0:01021222
0:01021224
0:01021227
0:01021228
0:01021229
0:0102122c
0:01021231
0:01021234
0:01021235
0:0102123a
0:0102123c
0:0102123f
0:01021244
0:01021247
0:01021248
0:01021249
0:0102131b
0:01021321
0:01021323
0:010216e1
0:010216e6
0:01021726
0:01021727
0:01021729
0:0102172c
0:0102172f
0:01021731
0:01021734
0:01021735
0:0102173a
0:0102173d
0:0102173e
0:01021745
0:01021746
0:010217bd
0:010217be
0:010217c0
0:010217c4
0:010217c6
0:010217c7
0:010217ca
0:010217d1
0:010217d3
0:010217d4
0:010217ee
0:010217ef
0:010217f1
0:010217f2
0:010217f5
0:010217f6
0:010217fb
0:010217fc
0:01021801
0:01021802
0:01021803
0:01021805
0:0102180b
0:0102180c
0:01021811
0:01021814
0:01021816
0:01021818
0:0102181a
0:0102182b
0:01021831
0:01021838
0:0102183a
0:01021842
0:01021843
0:01021848
0:0102186f
0:01021876
0:01021879
0:0102187b
0:0102187e
0:01021881
0:01021888
0:0102188a
0:0102188b
0:0102188c
0:01021890
0:01021891
0:01021892
0:01021893
0:01021894
0:01021895
0:01021897
0:01021898
0:0102189a
0:0102189d
0:010218a1
0:010218a3
0:010218a5
0:010218a6
0:010218ab
0:010218ad
0:010218b0
0:010218b3
0:010218b5
0:010218b8
0:010218bb
0:010218c1
0:010218d4
0:010218d7
0:010218d8
0:010218de
0:010218f5
0:010218f8
0:010218fb
0:010218fd
0:010218ff
0:01021902
0:01021905
0:01021909
0:0102190b
0:0102190d
0:0102190f
0:01021912
0:01021915
0:01021917
0:01021918
0:01021919
0:0102191c
0:0102191d
0:0102191f
0:01021925
0:0102192a
0:0102192c
0:0102192f
0:01021932
0:01021938
0:01021939
0:0102193a
0:01021940
0:01021943
0:01021944
0:01021947
0:0102194a
0:01021950
0:01021952
0:01021954
0:0102195a
0:01021960
0:01021962
0:01021968
0:0102196e
0:01021974
0:0102197a
0:01021980
0:01021986
0:0102198c
0:01021991
0:01021996
0:0102199c
0:010219a2
0:010219a4
0:010219aa
0:010219ae
0:010219b0
0:010219b1
0:010219b6
0:010219b7
0:010219b9
0:010219bc
0:010219be
0:010219c1
0:010219c3
0:010219c5
0:010219c8
0:010219cb
0:010219ce
0:010219d5
0:010219dc
0:010219e0
0:010219e6
0:010219e9
0:010219eb
0:010219ee
0:010219f0
0:010219f2
0:010219f5
0:010219f8
0:010219fb
0:01021a02
0:01021a09
0:01021a0d
0:01021a13
0:01021a19
0:01021a1b
0:01021a21
0:01021a23
0:01021a25
0:01021a2b
0:01021a2d
0:01021a33
0:01021a39
0:01021a3f
0:01021a45
0:01021a4b
0:01021a4d
0:01021a53
0:01021a59
0:01021a5a
0:01021a60
0:01021a62
0:01021a68
0:01021a6b
0:01021a6d
0:01021a6f
0:01021a72
0:01021a79
0:01021a7c
0:01021a7e
0:01021a80
0:01021a86
0:01021a8e
0:01021a90
0:01021a96
0:01021a9c
0:01021a9f
0:01021aa5
0:01021aa8
0:01021aae
0:01021cad
0:01021caf
0:01021cb5
0:01021cbb
0:01021cbc
0:01021cbf
0:01021cc0
0:01021cc5
0:01021cc6
0:01021cc7
0:01021cc9
0:01021d03
0:01021d09
0:01021d0a
0:01021d10
0:01021d16
0:01021d1b
0:01021d1e
0:0102241f
0:01022425
0:0102242b
0:0102242d
0:01022433
0:01022439
0:0102243b
0:01022441
0:01022443
0:0102244a
0:0102244b
0:0102244c
0:0102244d
0:0102244f
0:01022455
0:01022459
0:0102245c
0:0102245e
0:01022463
0:01022465
0:01022466
0:0102249c
0:0102249d
0:0102249f
0:010224a2
0:010224a6
0:010224ae
0:010224b1
0:010224b3
0:010224b5
0:010224b8
0:010224ba
0:010224bc
0:010224bf
0:010224d0
0:010224d3
0:010224dd
0:010224e0
0:010224e2
0:010224e3
0:010225bc
0:010225c1
0:010225c3
0:010225cb
0:010225ce
0:01022610
0:01022615
0:0102261c
0:01022620
0:01022624
0:01022628
0:0102262a
0:0102262b
0:0102262c
0:0102262d
0:01022632
0:01022635
0:01022637
0:01022638
0:0102263b
0:0102263e
0:01022641
0:01022648
0:0102264b
0:0102264e
0:01022654
0:01022655
0:01022658
0:0102265f
0:01022660
0:01022661
0:01022662
0:01022663
0:01022664
0:01022666
0:01022667
0:01022668
0:01023e3a
0:01023e3b
0:01023e40
0:01023e42
0:01023e44
0:01023e4e
0:01023e50
0:01023e51
0:01023e52
0:01023e53
0:01023e54
0:01023e5a
0:01023e60
0:01023e62
0:01023e67
0:01023e69
0:01023e6a
0:01023e6c
0:01023eb5
0:01023eb6
0:01023ebc
0:01023ebd
0:01023ebf
0:01023ec0
0:01024cee
0:01024cef
0:01024cf1
0:01024cf6
0:01024cfc
0:01024cff
0:01024d01
0:01024d03
0:01024d04
0:010251f3
0:010251f4
0:010251f6
0:010251f7
0:010251f8
0:010251fb
0:010251fd
0:01025200
0:01025202
0:01025204
0:01025206
0:0102520d
0:0102520f
0:01025210
0:01025212
0:01025215
0:01025217
0:01025219
0:0102521a
0:0102521d
0:0102521e
0:01025223
0:01025224
0:01025225
0:01025344
0:01025345
0:01025347
0:01025348
0:0102534b
0:01025353
0:01025368
0:0102536f
0:01025375
0:01025376
0:01025377
0:01025622
0:01025623
0:01025625
0:01025628
0:0102562a
0:01025641
0:01025644
0:01025645
0:01025646
0:01025647
0:01025649
0:0102564c
0:0102564f
0:0102565e
0:01025660
0:01025662
0:01025668
0:0102566a
0:0102566c
0:0102566f
0:01025672
0:01025675
0:0102567c
0:01025681
0:01025684
0:01025685
0:010260e4
0:010260e5
0:010260e7
0:010260ea
0:010260ed
0:010260f0
0:010260f5
0:010260f8
0:010260fb
0:010260fe
0:01026104
0:01026108
0:0102610d
0:01026111
0:0102611a
0:0102611c
0:0102611d
0:01027f1b
0:01027f1d
0:01027f22
0:01027f27
0:01027f29
0:01027f2c
0:01027f2f
0:01027f32
0:01027f4b
0:01027f4d
0:01027f53
0:01027f59
0:01027f5f
0:01027f61
0:01027f64
0:01027f66
0:01027f69
0:01027f6c
0:01027f73
0:01027f78
0:01027f7b
0:01027f87
0:01027f88
0:01027f8d
0:01027f8e
0:01027f92
0:01027f99
0:01027f9e
0:01027fa0
0:01027fa3
0:01027fa6
0:01027fa7
0:0102800a
0:0102800b
0:0102800d
0:01028012
0:01028017
0:0102801c
0:0102801e
0:01028021
0:01028028
0:0102802b
0:0102802e
0:0102802f
0:01028031
0:01028037
0:01028038
0:0102803a
0:01028040
0:01028046
0:01028049
0:01028052
0:01028054
0:01028075
0:01028077
0:01028079
0:0102807c
0:0102807f
0:01028082
0:01028088
0:01028089
0:01028090
0:01028096
0:0102809a
0:0102809c
0:0102809e
0:010280a1
0:010280a3
0:010280a6
0:010280d3
0:010280d8
0:010280e9
0:010280ef
0:010280f4
0:010280f5
0:010280f7
0:010280fd
0:01028103
0:01028109
0:01028110
0:01028115
0:0102811b
0:01028120
0:01028122
0:01028125
0:0102812b
0:01028131
0:01028132
0:01028138
0:0102813b
0:01028141
0:01028147
0:0102814e
0:01028151
0:0102a2fa
0:0102a2fc
0:0102a301
0:0102a306
0:0102a309
0:0102a30b
0:0102a30e
0:0102a310
0:0102a313
0:0102a316
0:0102a31d
0:0102a31f
0:0102a322
0:0102a355
0:0102a357
0:0102a35a
0:0102a35d
0:0102a360
0:0102a367
0:0102a36a
0:0102a36c
0:0102a36d
0:0102a373
0:0102a375
0:0102a376
0:0102a37b
0:0102a4e0
0:0102a4e1
0:0102a4e5
0:0102a4e7
0:0102a4e9
0:0102a4eb
0:0102a4ed
0:0102a4ef
0:0102a4f4
0:0102a4f6
0:0102a4f8
0:0102a4fa
0:0102a4fb
0:0102a4fc
0:0102a4fe
0:0102a501
0:0102a502
0:0102a507
0:0102a509
0:75d46806
0:75d4680c
0:75d4680f
0:75d46897
0:75d46899
0:75d4689a
0:75d4689c
0:75d4689f
0:75d468a5
0:75d468a8
0:75d468ab
0:75d468b1
0:75d468b7
0:75d468b9
0:75d468bf
0:75d468c3
0:75d468c7
0:75d468c8
0:75ddbb08
0:75ddbd05
0:75ddbf00
0:75de1292
0:75de1294
0:75de1295
0:75de1297
0:75de129e
0:75de12a4
0:75de12a7
0:75de12aa
0:75de12ad
0:75de12ae
0:75de12af
0:75de12b2
0:75de12b6
0:75de12ba
0:75de12bf
0:75de12c0
0:75de12c3
0:75de12c5
0:75de12c8
0:75de12cb
0:75de12cd
0:75de12d3
0:75de12d4
0:75de12d5
0:75de12db
0:75de1e16
0:75de1e18
0:75de1e19
0:75de1e1b
0:75de1e1c
0:75de1e23
0:75de2412
0:75de2414
0:75de2415
0:75de2417
0:75de241d
0:75de2422
0:75de2424
0:75de2427
0:75de242a
0:75de242b
0:75de242e
0:75de2430
0:75de2432
0:75de2435
0:75de2437
0:75de243d
0:75de243e
0:77c16458
0:77c1645d
0:77c16462
0:77c170b0
0:77c177a0
0:77c177a2
0:77c177a3
0:77c177a5
0:77c177a8
0:77c177a9
0:77c177aa
0:77c177ad
0:77c177b0
0:77c177b2
0:77c177b7
0:77c177bd
0:77c177c3
0:77c177c6
0:77c177c9
0:77c177d0
0:77c177d1
0:77c177d3
0:77c177d4
0:77c177d6
0:77c177d7
0:77c230fb
0:77c230fd
0:77c230fe
0:77c23100
0:77c23107
0:77c2310c
0:77c2310f
0:77c23111
0:77c23117
0:77c2311a
0:77c23120
0:77c23121