Vegard Nossum

Not sure where to best put this, but I found this issue so I'll comment here. Comments apply to draft proposal of June 15, 2021. - 2.1 "Others pointed out...

See #48 and #50

[PCGUARD.txt](https://github.com/AFLplusplus/AFLplusplus/files/10456260/PCGUARD.txt) [CLASSIC.txt](https://github.com/AFLplusplus/AFLplusplus/files/10456261/CLASSIC.txt) The only significant difference I can see is ``` --fpass-plugin=AFLplusplus/SanitizerCoveragePCGUARD.so +-fpass-plugin=AFLplusplus/afl-llvm-pass.so ``` This is admittedly an old system, as you can see from using gcc 9. Not sure...

I believe you :-) It's more that I'm wary of messing with this system. I can try to reproduce in a snapshot/container/whatever, but it will likely take me some days...

Hey, yeah, I don't really see why not. Since you're a Mozilla person, I guess you were thinking of SpiderMonkey in particular? I have no experience with it, but if...

Looks like SpiderMonkey has quite a bit of support for AFL already. I pushed the branch js that has some rules for JS and it seems to be doing something:...

I ran it for a day or so just on my laptop, it came up with test cases like this: `parseInt(function main (Array) { new $1(assert.parseFloat([5 * 10])(function main (copyWithin)...

I didn't find any crashes, but I'm attaching a tarball with a JS/SpiderMonkey corpus. This contains test cases found using prog-fuzz and then further mutated by afl-fuzz. The corpus has...

Hi! Nice catch. As you could probably guess, the PB mode was never really used much -- I've mostly used the "halfadder" mode for CNF. I understand the problem you're...

Ok, I think your fixes look correct (I didn't check the xor2/xor3/xor4 improvements). I've also seen that CNF instances are not solved immediately by propagation but have some low number...