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

3586 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alwin Berger
479638f5b7 prevent MAX_STG_NUM out of bounds 2025-09-03 14:39:18 +00:00
Alwin Berger
1c3bc85d48 store hashes globally 2025-09-03 14:39:12 +00:00
Alwin Berger
48e08ce3e7 store tcb hashes 2025-09-03 13:55:33 +00:00
Alwin Berger
37d0e28f53 systemstate::target_os comments and refactoring 2025-09-03 13:55:31 +00:00
Alwin Berger
0326be4074 documentation 2025-09-03 13:52:03 +00:00
Alwin Berger
2455d9627f draft ARCH.md 2025-09-03 13:52:03 +00:00
Alwin Berger
b02d9cfdfc remove some outdated scripts 2025-09-03 13:52:03 +00:00
Alwin Berger
7179d2a894 update scripts 2025-09-03 13:52:03 +00:00
Alwin Berger
b84bbd07e9 update snakefile 2025-09-03 13:52:01 +00:00
Alwin Berger
508f4cf276 reorganize tools and scripts 2025-09-03 13:51:45 +00:00
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