search

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

Add comments and README to Solver module #1047

Closed agusaldasoro closed 3 months ago

agusaldasoro commented 3 months ago

Overview

This PR DOES NOT CONTAIN ANY CHANGE IN CODE OR FUNCTIONALITY, it includes updates to the SmtLibGenerator and SMTLibZ3DbConstraintSolver classes, focusing on improving comments and documentation for better clarity.

Changes Made

  1. SmtLibGenerator Class:

    • Enhanced comments for methods for generating SMTLib, handling constraints, and processing SQL queries.

  2. SMTLibZ3DbConstraintSolver Class:

    • Added comments to methods for generating SQL actions from SMTLib and interacting with Z3.

  3. README Updates:

    • Updated README to reflect the new comments and provide additional context.

Purpose

Improves code readability and maintainability by adding detailed comments and documentation.