Home‎ > ‎

LAVA-M

Description
The zip file of the results on the LAVA-M dataset (Steelix, AFL-lafintel and AFL-dyninst) can be downloaded from the link below.
It includes the following folders/files:
  • bins:
    • the original binaries (32-bit ELF) of the LAVA-M dataset
    • these binaries are not instrumented, they can be used for verifying the bug fault IDs of the crashes
    • base64 runs with the "-d" option;  md5sum runs with the "-c" option
  • outputs:
    • the output folder used for keeping the fuzzing results stored in zip files
    • the "out" zip files are the results of Steelix; the "out_lafintel" zip files are the results of AFL-lafintel; the "out_raw" zip files are the results of AFL-dyninst
    • the generated inputs with "op:step" in their names are generated by the Local Exhaustive Mutatioin (LEM)
  • crash_analysis.txt:
    • a quick analysis of the experiment results of Steelix, matching the crashes with the unique fault IDs
Fault IDs of vulnerabilities found by Steelix
 program fault IDs
 base64 1, 222, 235, 253, 255, 274, 276, 278, 284, 386, 521, 554, 556, 558, 560, 562, 566, 572, 573, 576, 582, 583, 584, 774, 776, 778, 780, 782, 784, 786, 788, 790, 792, 805, 806, 815, 817, 831, 832, 835, 841, 842, 843
 md5sum 1, 2, 5, 6, 7, 8, 9, 10, 270, 271, 272, 273, 274, 276, 277, 281, 284, 303, 305, 306, 371, 374, 380, 387, 554, 556, 565, 571
 uniq 293, 296, 297, 318, 322, 346, 347
 who 3, 9, 14, 26, 58, 114, 116, 117, 121, 123, 125, 131, 133, 134, 135, 139, 140, 148, 149, 151, 153, 157, 158, 159, 162, 179, 220, 224, 243, 280, 301, 322, 328, 352, 353, 356, 451, 457, 462, 475, 494, 498, 503, 510, 517, 523, 538, 540, 541, 544, 545, 546, 548, 549, 552, 554, 561, 562, 577, 582, 583, 599, 600, 601, 603, 607, 608, 609, 636, 637, 639, 665, 666, 733, 741, 1121, 1151, 1218, 1245, 1290, 1378, 1697, 1698, 1781, 1801, 1802, 1807, 1816, 1822, 1831, 1852, 1854, 1855, 1879, 1880, 1888, 1889, 2561, 2576, 2681, 2704, 2723, 2724, 2766, 2803, 2821, 2840, 2841, 3037, 3338, 3771, 3772, 3779, 3780, 3781, 3782, 3783, 3784, 3785, 3786, 3799, 3800, 3805, 3829, 3830, 3869, 3918, 3927, 3936, 3937, 3943, 3946, 3949, 3950, 3953, 3954, 3959, 3960, 3965, 3966, 3967, 3971, 3972, 3975, 3976, 3977, 3978, 3981, 3982, 3983, 3985, 3986, 4001, 4002, 4106, 4129, 4141, 4144, 4147, 4149, 4151, 4152, 4156, 4157, 4158, 4161, 4163, 4164, 4165, 4166, 4169, 4170, 4172, 4173, 4176, 4177, 4178, 4179, 4183, 4184, 4199, 4317, 4341, 4343, 4345, 4346, 4349, 4353, 4357, 4358, 4361, 4362, 4363, 4364

Fault IDs of vulnerabilities found by AFL-lafintel
 program fault IDs
 base641, 222, 253, 255, 274, 276, 278, 284, 521, 526, 527, 556, 558, 560, 583, 584, 774, 786, 788, 790, 805, 806, 815, 817, 832, 835, 841, 843
 md5sum N.A.
 uniq 112, 171, 215, 222, 293, 296, 297, 318, 321, 322, 346, 347, 368, 371, 372, 393, 396, 397, 443, 446, 447, 468, 471, 472
 who 123, 4341

*Note: the initial inputs of LAVA-M dataset are provided together with the testing suite.
ċ
lava.zip
(7307k)
Vall-nut,
Mar 1, 2017, 11:36 PM
Comments