-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Refactor coverage and corpus into common state
Closes #15
- Loading branch information
Showing
8 changed files
with
320 additions
and
230 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,100 @@ | ||
| from __future__ import annotations | ||
|
|
||
| import ast | ||
| import json | ||
| import logging | ||
| from pathlib import Path | ||
| from typing import Optional | ||
|
|
||
| from cobrafuzz import corpus, util | ||
|
|
||
|
|
||
| class LoadError(Exception): | ||
| pass | ||
|
|
||
|
|
||
| class State: | ||
| def __init__( | ||
| self, | ||
| seeds: Optional[list[Path]] = None, | ||
| max_input_size: int = 4096, | ||
| ): | ||
| self._VERSION = 1 | ||
| self._max_input_size = max_input_size | ||
| self._covered: set[tuple[Optional[str], Optional[int], str, int]] = set() | ||
| self._inputs: list[bytearray] = [] | ||
|
|
||
| for path in [p for p in seeds or [] if p.is_file()] + [ | ||
| f for p in seeds or [] if not p.is_file() for f in p.glob("*") if f.is_file() | ||
| ]: | ||
| with path.open("rb") as f: | ||
| self._inputs.append(bytearray(f.read())) | ||
| if not self._inputs: | ||
| self._inputs.append(bytearray(0)) | ||
|
|
||
| def save(self, filename: Path) -> None: | ||
| with filename.open(mode="w+") as sf: | ||
| json.dump( | ||
| obj={ | ||
| "version": self._VERSION, | ||
| "coverage": list(self._covered), | ||
| "population": [str(bytes(i))[2:-1] for i in self._inputs], | ||
| }, | ||
| fp=sf, | ||
| ensure_ascii=True, | ||
| ) | ||
|
|
||
| def load(self, filename: Path) -> None: | ||
| try: | ||
| with filename.open() as sf: | ||
| data = json.load(sf) | ||
| if "version" not in data or data["version"] != self._VERSION: | ||
| raise LoadError( | ||
| f"Invalid version in state file {filename} (expected {self._VERSION})", | ||
| ) | ||
| self._covered |= {tuple(e) for e in data["coverage"]} | ||
| self._inputs.extend( | ||
| bytearray(ast.literal_eval(f"b'{i}'")) for i in data["population"] | ||
| ) | ||
| except FileNotFoundError: | ||
| pass | ||
| except (json.JSONDecodeError, TypeError): | ||
| filename.unlink() | ||
| logging.info("Malformed state file: %s", filename) | ||
| except OSError as e: | ||
| logging.info("Error opening state file: %s", e) | ||
|
|
||
| def store_coverage( | ||
| self, | ||
| data: set[tuple[Optional[str], Optional[int], str, int]], | ||
| ) -> bool: | ||
| """ | ||
| Store coverage information. Return true if coverage has increased. | ||
| Arguments: | ||
| --------- | ||
| data: coverage information to store. | ||
| """ | ||
|
|
||
| covered = len(self._covered) | ||
| self._covered |= data | ||
| if len(self._covered) > covered: | ||
| return True | ||
| return False | ||
|
|
||
| @property | ||
| def total_coverage(self) -> int: | ||
| return len(self._covered) | ||
|
|
||
| @property | ||
| def size(self) -> int: | ||
| return len(self._inputs) | ||
|
|
||
| def put_input(self, buf: bytearray) -> None: | ||
| self._inputs.append(buf) | ||
|
|
||
| def get_input(self) -> bytearray: | ||
| return corpus.mutate( | ||
| buf=list(self._inputs)[util.rand(len(self._inputs))], | ||
| max_input_size=self._max_input_size, | ||
| ) |
Oops, something went wrong.