AngoraFuzzer / Angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Apache License 2.0
916 stars 166 forks source link

Add models for some IO functions #34

Closed linna1998 closed 4 years ago

linna1998 commented 5 years ago

Add models for functions fgetwc, fgetws, getc, getw, getwc and getwchar in llvm_mode/io-func.c. Provide basic test cases for the models.