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

Fix Solver breaking when integrating with CS EMB #1066

Closed agusaldasoro closed 2 months ago

agusaldasoro commented 2 months ago

Fix breaking integration

Added necessary changes/fixes to run tests that execute the database schema and queries from

Those tests are included in https://github.com/WebFuzzing/EvoMaster/tree/tests/cs-sql-solver but not in this PR as they increase the time of the execution of the tests so that they will be available in that branch for any specific tests needed.

Changes included in this PR:

Catwatch

Commit: https://github.com/WebFuzzing/EvoMaster/pull/1066/commits/f7dc4ec892915e6a69e34bf3dc3136f99779b7c8

Add support for timestamp data types + constraints
Get value only from the mentioned tables
Treat integer numbers in SMT as Long when returned
Fix breaking when accessing composed keys

CWA Verification Server

Commit: https://github.com/WebFuzzing/EvoMaster/pull/1067/commits/9a4980fcc85ce78facf1370cf90f8d0f7541f783

Add support for Boolean data types + constraints
Treat Booleans in SMT as String when returned

Scout API

Commit: https://github.com/WebFuzzing/EvoMaster/pull/1066/commits/dd1b115bf107372a899a40fbf727d33808824dfe

Add support for WHERE column NOT NULL
Add support for generating one item per table