Parser failed to parse 'BuiltinObjFile' directory files

[Yeaseen]

I came across the following issue when I tried to fuzz the gcc compiler. I compiled the gcc with afl-gcc and set the following directories properly. I just used python2 as python is no longer in Ubuntu. make on Polyglot worked fine.

But after running the fuzzing I found this error:

Parsing failed here::

Hence, the following incorrect data: It says that the target application doesn't get the correct input (syntax error!) which is because the parser failed to parse the files under initial build in files directory.

After backtracing, I found the parser in typesystem.cpp failed to parse.

Did I miss something here? Thnak you!

[zr950624]

Hi Yeaseen,

Thanks for using our tool. The BuiltinObjFile refers to the path of your builtin object definition. In your case, you use the grammar path for that, so it will fail to parse.

Please look at the example in grammar/solidity_grammar/builtin to know how to set up your builtin objects.

[Yeaseen]

Your reply is great. But it's all the same. Configured the path and added a block:

Now there's parsing failure. But afl is still saying syntax error:

So in the seed inputs, I tried with both a main function and without any main function:

I am still uncertain whether my seed inputs are ok or not. It would be great for me if you provide me with a block sample and a test input for the gcc. Thank you again!!

[Yeaseen]

The error is in the AFL_Replace_Mutate/afl-fuzz.c file, where the currently mutated file is being saved with a Java extension(search for ./cur_input.java) not desired for any target application that doesn't accept a Java file. You can still use AFL's "-f" option that accepts a modified target name.