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 240 (0 this week)

Watchers 17 (0 this week)

Forks 20

License mit

Ranking

RepositoryStats indexes 589,134 repositories, of these mc-imperial/jfs is ranked #157,615 (73rd percentile) for total stargazers, and #129,849 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #8,898/31,488.

mc-imperial/jfs is also tagged with popular topics, for these it's ranked: fuzzing (#130/338), llvm (#131/323)

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: 2024-11-29 @ 09:30pm, id: 111597978 / R_kgDOBqbZmg