alwin.berger/FRET-LibAFL
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,576 Commits 19 Branches 28 Tags
Commit Graph

3576 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alwin Berger
49de014a31 avoid copy of function names 2025-07-30 12:14:22 +00:00
Alwin Berger
9bbc5e7c78 Merge branch 'fret_141' into fret_153 2025-07-28 12:03:09 +00:00
Alwin Berger
aac9cff7bf remove states from nodes 2025-07-23 06:38:16 +00:00
Alwin Berger
f262c32f47 update bounds 2025-07-22 12:58:27 +00:00
Alwin Berger
2dfb5f853d reduce state space by ignoring lower priorities 2025-07-04 07:37:15 +00:00
Alwin Berger
fabf746c4c update scripts 2025-05-28 11:48:39 +00:00
Alwin Berger
27811aaaca minor refactoring 2025-05-28 11:46:22 +00:00
lazymio
918e8a6527
use libafl_wide (#3274) 
* use libafl_wide

* fix
 2025-05-26 18:38:34 +08:00
Dominik Maier
d5ecf7304d
NoStd Bolts (#3272) 2025-05-25 22:16:07 +02:00
Dongjia "toka" Zhang
c12750f7b8
No more no_std clippy (#3271) 2025-05-24 19:43:48 +02:00
Ch4r1l3
9a202acfed
fix fuzzbench cmplog ForkServer builder and rtn_extend_encoding buffer copy overflow (#3270) 2025-05-24 18:02:43 +02:00
Andrea Fioraldi
ce63b76558
Update to v0.15.3 (#3259) 
Co-authored-by: Dominik Maier <domenukk@gmail.com>
Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>
 2025-05-23 22:50:23 +02:00
Dominik Maier
b22c2ca99c
Replace LibNyx with crates.io version (#3269) 2025-05-23 20:28:59 +02:00
Dongjia "toka" Zhang
7b9be937f7
Use nightly for miri (#3268) 
* miri nightly

* actually add miri

* ??

* clp cache new
 2025-05-23 19:22:15 +02:00
dependabot[bot]
9611c59a6c
Update pyo3-build-config requirement from 0.24.0 to 0.25.0 (#3230) 
Updates the requirements on [pyo3-build-config](https://github.com/pyo3/pyo3) to permit the latest version.
- [Release notes](https://github.com/pyo3/pyo3/releases)
- [Changelog](https://github.com/PyO3/pyo3/blob/main/CHANGELOG.md)
- [Commits](https://github.com/pyo3/pyo3/compare/v0.24.0...v0.24.2)

---
updated-dependencies:
- dependency-name: pyo3-build-config
  dependency-version: 0.24.2
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>
 2025-05-23 19:15:48 +02:00
Dongjia "toka" Zhang
2c262b0597
UPDATE LOCKFILE (#3267) 2025-05-23 16:35:30 +02:00
lazymio
18d46bed29
Allow InputLocation::Stdin to specify a file name (#3265) 
* Allow filename for InputLocation::StdIn

* clippy

* format code

* rename to input_file

* fix

* changes left out
 2025-05-23 16:31:41 +02:00
jma
71d08f5f04
Update aarch64.rs (#3266) 2025-05-23 14:28:27 +02:00
jma
871548c366
Allow passing Qemu object to QemuBytesCoverageSugar (#3261) 
* attempt to return Qemu object as a parameter to QemuBytesCoverageSugar

* apply clippy suggestions from precommit.sh

* python qemu sugar: add option to enable stdout

---------

Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>
 2025-05-23 10:22:00 +02:00
WorksButNotTested
213651a95c
Speedup & cleanup Ci (#3263) 
* Fix caching

* Simplify names of fuzzers

* Fix missing equals sign

* Rename utils job
 2025-05-22 23:47:08 +02:00
WorksButNotTested
4abd6a4a6a
Support downloading devcontainer rather than building it (#3264) 2025-05-22 20:45:13 +02:00
Dongjia "toka" Zhang
fa8fd63eb3
Fix heartbeat (#3262) 
* Update fastbloom requirement from 0.9.0 to 0.10.0

---
updated-dependencies:
- dependency-name: fastbloom
  dependency-version: 0.9.0
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>

* manual upd

* dfasf

* put it back

* more

* fixer

* ci

---------

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2025-05-22 18:14:16 +02:00
dependabot[bot]
6cd6600e7e
Update fastbloom requirement from 0.9.0 to 0.10.0 (#3213) 
* Update fastbloom requirement from 0.9.0 to 0.10.0

---
updated-dependencies:
- dependency-name: fastbloom
  dependency-version: 0.9.0
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>

* manual upd

* dfasf

* put it back

* more

---------

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>
 2025-05-22 16:49:40 +02:00
WorksButNotTested
1355bd5294
Improve CI (#3258) 
* Improve CI

* Fix markup errors

* Remove unnecessary matrix parameters

* Rename matrix jobs to tidy up the UI

* Allow the docker cache to be updated

* Fix cache name

* Share some caches

* Rename tools
 2025-05-22 16:08:35 +02:00
WorksButNotTested
3a62013c85
LibAFL_QEMU: Add redirect stdout module (#3256) 
* Add redirect stdout

* Review changes
 2025-05-21 13:26:02 +02:00
Alwin Berger
3ff617e4a9 update scripts 2025-05-21 08:32:24 +00:00
Alwin Berger
794b617205 rm README; /dev/null drive 2025-05-21 08:25:13 +00:00
Alwin Berger
08019ae94f fix partial eq for refined tcb; remains unused 2025-05-21 08:22:29 +00:00
Rowan Hart
0b25d723c0
Windows Support for LibAFL-LibFuzzer (#3130) 
* Add windows build script and additional changes to support windows for libafl-libfuzzer

* Update build scripts and harness wrapping directives

* Resolve issue with corpus edge count calculation

* Add help message and make fork do nothing on Windows

* Format harness_wrap.cpp

* Clippy happiness pass

* Clippy happiness pass

* Clippy happiness pass

* Correct logic

* Correct logic

* Update help output and make runs argument work

* Add test for libafl_libfuzzer on windows

* Add workflow for libafl_libfuzzer test

* Fix copy without dependent task

* Add libafl_libfuzzer_windows to preflight list

* Format harness

* Explicitly ignore windows fuzzer

* Remove windows-specific copy from unix instructions

* Ensure using nightly

* Fix job name

* Update build to use libFuzzer.lib on Windows to keep consistent with Linux

* Remove nightly requirement

---------

Co-authored-by: Rowan Hart <rowanhart@microsoft.com>
 2025-05-21 01:35:48 +02:00
WorksButNotTested
db1d38eeb6
LibAFL_QEMU/librasan: Add support for reading environment (#3241) 
* Add support for reading environment

* Fix clippy

* Review fixes
 2025-05-20 21:48:08 +02:00
WorksButNotTested
d7eb3bd234
LibAFL_QEMU: Fix snapshots for large mappings (#3252) 2025-05-20 17:30:26 +02:00
Dongjia "toka" Zhang
e832e32d52
Nightly fmt (#3255) 
* fmt

* a

* a

* ab
 2025-05-20 12:30:39 +02:00
Dongjia "toka" Zhang
619f6cba52
Use nightly fmt (#3254) 
* fmt

* a
 2025-05-20 10:57:41 +02:00
Alwin Berger
fc68b55749 targets 2025-05-19 12:51:57 +00:00
dependabot[bot]
4dc5a8ed14
Update criterion requirement from 0.5.1 to 0.6.0 (#3251) 
* Update criterion requirement from 0.5.1 to 0.6.0

Updates the requirements on [criterion](https://github.com/bheisler/criterion.rs) to permit the latest version.
- [Changelog](https://github.com/bheisler/criterion.rs/blob/master/CHANGELOG.md)
- [Commits](https://github.com/bheisler/criterion.rs/compare/0.5.1...0.6.0)

---
updated-dependencies:
- dependency-name: criterion
  dependency-version: 0.6.0
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>

* clippy

* undo / too modern

* clip

---------

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Dominik Maier <dmnk@google.com>
 2025-05-19 14:49:25 +02:00
EvianZhang
0015254071
Use ShMemProvider for forkserver (#3249) 
* Add android CI

* update

* Move together

* Use shmem for forkserver several pointers

* Fix clippy

* Fix

* Make shmem's into_raw private

* Log error message in forkserver

* Fix clippy

* Fix clippy

---------

Co-authored-by: mio <mio@lazym.io>
Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>
 2025-05-19 12:17:53 +02:00
WorksButNotTested
74a5362c15
Add x86_64 architecture to QEMU in Dockerfile (#3250) 2025-05-19 12:10:36 +02:00
lazymio
90223028fd
Remove spurious logs (#3246) 2025-05-19 11:29:06 +02:00
lazymio
73cc2f5b9c
Make unique_std_input_file more unique (#3247) 2025-05-18 23:17:29 +02:00
lazymio
542b7f75b7
Fix CI (#3248) 
* fix ci

track: https://github.com/dtolnay/proc-macro2/pull/501

* format toml

* fix typo

* Use nightly for libafl_frida

* Install nightly for splitter

* Use dtolnay/rust-toolchain@nightly

* install ca-certificates
 2025-05-18 22:00:40 +08:00
lazymio
0e9dfd62ee
LetForkserverExecutor being Send (#3242) 
* Implement `Send` for `Shm`

it is safe because we take the ownership of the inner map pointer. Only potential
violation is deref the underlying pointer but that’s already unsafe. Therefore,
the properties of Send still hold within the safe world.

* Bump 1.87

* use std::io::pipe so that they are `Send`

* clippy

* upgrade

* Avoid phantomdata to make ForkserverExecutor !Send

* Missing gates

* Fix nostd

* bump in Dockerfile

* use dtolnay/rust-toolchain@stable instead

* setup latest toolchain on non Linux

* Fix typo
 2025-05-17 14:45:08 +02:00
lazymio
ba93e9d2ea
Add support for AFL_LLVM/GCC_ONLY_FSRV (#3245) 
* Add support for AFL_LLVM/GCC_ONLY_FSRV

* clippy
 2025-05-17 13:56:28 +02:00
lazymio
ddd0930e67
Support binding to a single core for ForkserverExecutor (#3236) 
* support bind to core for ForkserverExecutor

* fix for non-fork platforms

* clippy

* Remove redundant env
 2025-05-17 13:55:44 +02:00
Ivan Gulakov
4763ada075
Use is_multiple_of instead of % == 0 (#3244) 
I was reading the changelog of 1.87 and noticed that it's stable now.
Realised that I saw a todo in the code :)

https://releases.rs/docs/1.87.0/
 2025-05-17 00:13:31 +02:00
WorksButNotTested
bb24fb555b
Update Dockerfile (#3243) 2025-05-16 18:31:17 +02:00
lazymio
be74774463
Use Arc<()> to ref-counting InputFile (#3240) 
* clean lib_bolts::fs

* clippy

* avoid racy
 2025-05-16 17:06:23 +02:00
Dongjia "toka" Zhang
7a9f46b9fb
Remove nightly from CI. (#3232) 
* stable ci

* fixer

* aa

* no -z flag

* doc

* ??

* this one needs

* nightly for some of them ..

* turn off fail fast for now 🥱

* aaa

* afasdfasfas

* mm

* tmate

* linker's fault

* fixer

* f

* dfsafdasfasf
 2025-05-16 15:23:44 +02:00
lazymio
8c0ee046cd
Implement HasBytesConverter for NopFuzzer (#3239) 2025-05-16 13:31:15 +02:00
lazymio
7a9cca9e1b
Expose AFL++ style extended cmplog for unicornafl (#3238) 
* expose afl++ style extended cmplog for unicornafl

* also update map ptr

* fix imports

* fix naming

* feature dep
 2025-05-16 13:29:49 +02:00
Dominik Maier
8b0fc8ca73
Forkserver: Add __AFL_SHM_FUZZ_MAP_SIZE, clean up env variables (#3235) 
* Clean up env variables, add env for map size

* Bring back lockfiles

* fix

* PAGE_SIZE->MAP_SIZE
 2025-05-16 12:15:17 +02:00