[WIP] Integrate Solver with ApiWsStructureMutator

WebFuzzing / EvoMaster

The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise applications. Currently targeting whitebox and blackbox testing of Web APIs, like REST, GraphQL and RPC (e.g., gRPC and Thrift).

GNU Lesser General Public License v3.0

524 stars 85 forks source link

[WIP] Integrate Solver with ApiWsStructureMutator #1078

Open agusaldasoro opened 2 months ago

agusaldasoro commented 2 months ago

Integration between Z3Solver and config.generateSqlDataWithDSE.

What does this PR include?

New Module: e2e-z3solver tests
Creates an API with one endpoint that returns 200 or 400 depending on the query result
Injected the Z3Solver

Future work

When using a query without a WHERE clause, it fails to load the failedWhere queries.