Comments (6)
Closed because inactive.
from aflgo.
And can you help with Bash scripts to run the tests for Binutils? I think testing some newer bugs may help, but I'm not familiar with Bash scripts to generate the distances.
from aflgo.
I also have the same requirement. Is there a directory containing all the inputs that could hit the targets.
from aflgo.
First, no there is no directory that contains only inputs that hit the target.
However, there three things that you can do, depending on whether you want to change the program or the instrumentation.
- You change the program, such that it crashes when it reaches a target location, e.g., assert(false);
- You change the instrumentation, such that it automatically injects such assertions at the target location.
- You keep the distance values for each generated input, and output a ranking of the inputs according to their distance (minimum first).
from aflgo.
First, no there is no directory that contains only inputs that hit the target.
However, there three things that you can do, depending on whether you want to change the program or the instrumentation.
- You change the program, such that it crashes when it reaches a target location, e.g., assert(false);
- You change the instrumentation, such that it automatically injects such assertions at the target location.
- You keep the distance values for each generated input, and output a ranking of the inputs according to their distance (minimum first).
how can I do this instrumentation?
I want to find out, which test-cases had reached my target, is there any way to separate crashed that reach target, even manually?
Thank you
from aflgo.
For checking that the crash touch target or no, we can use gdb by putting a breakpoint on the target function.
from aflgo.
Related Issues (20)
- typo of AFLGO_PROFILER_FILE HOT 1
- Incorrect method of merge call graph HOT 2
- Some incorrect lines caused the script gen_distance_fast.py to abort.
- Can't build libxml2 HOT 1
- Function distance calculation differs from paper HOT 3
- Can afl-llvm-pass.so.cc:366 solve the same name issue of basic block? HOT 2
- Build sqlite by afl-clang-fast HOT 1
- Cannot observe the crash in simple C program HOT 1
- Build libxml2: C compiler cannot create executables
- cannot access 'TMP_DIR/dot-files': No such file or directory HOT 4
- How to direct to code in a shared library HOT 1
- Erros when generating distance file HOT 5
- Distance calculation optimization in distance.py
- Details about AFLGo for patch testing
- Troubles Encountered in Distance Calculation HOT 3
- Link DG with AFLGo HOT 12
- gen_distance_fast.py: error: Couldn't find any binaries in folder /home/chen/aflgo/libxml2. HOT 1
- the
- The same name for BasicBlock
- error about argument '-targets'
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from aflgo.