mc-imperial / jfs

Constraint solver based on coverage-guided fuzzing

Date Created 2017-11-21 (7 years ago)

Commits 513 (last one about a year ago)

Stargazers 243 (0 this week)

Watchers 16 (0 this week)

Forks 20

License mit

Ranking

RepositoryStats indexes 630,443 repositories, of these mc-imperial/jfs is ranked #163,259 (74th percentile) for total stargazers, and #134,128 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #9,215/33,653.

mc-imperial/jfs is also tagged with popular topics, for these it's ranked: fuzzing (#137/352), llvm (#139/339)

Other Information

mc-imperial/jfs has Github issues enabled, there are 34 open issues and 3 closed issues.

All Topics

z3 jit llvm smtlib fuzzing smtlibv2 libfuzzer constraint-solver coverage-guided-fuzzing floating-point-arithmetic

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

4 commits on the default branch (master) since jan '22

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

The primary language is C++ but there's also others...

updated: 2025-03-07 @ 11:39am, id: 111597978 / R_kgDOBqbZmg