Skip to content

First Launch to start FuzzBench#100

Open
AndrewQuijano wants to merge 10 commits into
masterfrom
klee
Open

First Launch to start FuzzBench#100
AndrewQuijano wants to merge 10 commits into
masterfrom
klee

Conversation

@AndrewQuijano

@AndrewQuijano AndrewQuijano commented Jun 13, 2026

Copy link
Copy Markdown
Collaborator

…le LAVA workspaces

Your checklist for this pull request

  • I've documented or updated the documentation of every function and struct this PR changes.
  • I've added tests that prove my fix is effective or that my feature works (if possible)

Detailed description

This PR does the the following:

1- I realized I likely would want multiple host.json files, so I can have one for the main LAVA repo and another for the fuzz-bench repo. This is now implemented

2- Updated CI/CD to be more thorough in testing individual bugs in toy. This will be updated for a bigger binary that can run every type of bug to inject

3- ARM-32 support verified.

At the moment, it can complete the Taint Queries Step. For PANDA, the record does run, but there is a bug in dwarf2 that aborts early and is currently being fixed.

4- Added a test case to confirm that random explore in fact implements random KLEE exploration

...

Test plan

...

Closing issues

...

@github-actions github-actions Bot added Pyroclastic Python LAVA code Github-files GitHub CI/CD labels Jun 13, 2026
@AndrewQuijano AndrewQuijano force-pushed the klee branch 3 times, most recently from a2b9315 to 4709fe6 Compare June 13, 2026 05:15
@github-actions github-actions Bot added the Lava-Core LAVA C/C++ code label Jun 13, 2026
@github-actions github-actions Bot added the dependencies Pull requests that update a dependency file label Jun 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file Github-files GitHub CI/CD Lava-Core LAVA C/C++ code Pyroclastic Python LAVA code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant