mc-imperial / jfs

Constraint solver based on coverage-guided fuzzing

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

Commits 513 (last one 7 months ago)

Stargazers 240 (0 this week)

Watchers 17 (0 this week)

Forks 20

License mit

Ranking

RepositoryStats indexes 534,880 repositories, of these mc-imperial/jfs is ranked #147,942 (72nd percentile) for total stargazers, and #126,496 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #8,307/28,724.

mc-imperial/jfs is also tagged with popular topics, for these it's ranked: fuzzing (#128/317), llvm (#123/304)

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-05-09 @ 11:38pm, id: 111597978 / R_kgDOBqbZmg