Dan Blackwell

Fix for #1882, MapFeedback gives incorrect count

8

I think this should do what is needed to fix #1882... Haven't fully tested it though (just ran the small example in `forkserver_libafl_cc` with some extra logs to check it...

Fix for #1881, ProbabilitySamplingScheduler seems to be inverted

4

This should fix #1881. I have removed the check for 0.0 as I think that is a valid score potentially, if for some reason you really don't want to fuzz...

Does it make sense to measure exec time in millis?

3

The `TestcaseScore` uses millis; given that many programs are > 1000 execs per second, this value is generally 0 or 1 (I think that it floors here https://doc.rust-lang.org/src/core/time.rs.html#424). Would it...

MapFeedback UserStats Can give Confusing Output

3

I sometimes see that the number of edges covered goes down in the log. After some time I think I have figured out what is happening with the code here:...

ProbabilitySamplingScheduler might be inverted

3

According to the comment for `TestcaseScore::compute` below, returning a higher value should make it more likely that a queue member is selected: https://github.com/AFLplusplus/LibAFL/blob/1dcfe8ef56f38cc15c9d2205756550fda7cdf85a/libafl/src/schedulers/testcase_score.rs#L23 It looks to me like the reciprocal...

AttributeError: 'ArrayLiteral' object has no attribute 'value'.

6

**Describe the bug** In general the openQASM parsing errors are well handled in Braket. There are some cases where it is assumed that an object will have a `.value` and...

Prescientfuzz initial integration

80

Hi, I have a new fuzzer based on LibAFL that I would like to integrate. I'd like to be able to run an experiment to compare it with the other...

Strange Behaviour of `sx` gate when defined inline in QASM

14

### Environment - **Qiskit version**: 1.0.2 - **Python version**: Python 3.10.12 - **Operating system**: Ubuntu 22.04 ### What is happening? Applying the `sx` gate seems to give a different result...

Probabilities can be truncated to 0.00000% in stateAsString(true)

4

Not necessarily an issue - perhaps an enhancement though. Due to the truncation (or maybe rounding - haven't looked behind the scenes) some probabilities (as well as vector values) for...

DGFuzz Testing

131

This is a new fuzzer that I'd like to test out. ``` /gcbrun run_experiment.py -a --experiment-config /opt/fuzzbench/service/experiment-config.yaml --experiment-name 2024-07-07-dgfuzz --fuzzers dgfuzz libafl ```