# SoftSec-KAIST/Eclipser

<https://repo.masters-masters.com/en/repos/SoftSec-KAIST/Eclipser>

[Home](https://repo.masters-masters.com/en) › [SoftSec-KAIST](https://repo.masters-masters.com/en/owners/SoftSec-KAIST) › [Eclipser](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/Eclipser)

SoftSec-KAIST/Eclipser has 155 stars on GitHub. Its RepoMasters card: Prototype tier. Grey-box Concolic Testing on Binary Code (ICSE '19) Language: F\#.

| Field | Value |
| --- | --- |
| Owner | [SoftSec-KAIST](https://repo.masters-masters.com/en/owners/SoftSec-KAIST) |
| Stars | 155 |
| Forks | 17 |
| Language | [F\#](https://repo.masters-masters.com/en/languages/f-sharp) |
| License | MIT |
| Created | 2019 |
| Topics | testcase-generator, fuzzer, concolic-testing, fsharp, fuzzing |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [SoftSec-KAIST/Eclipser](https://github.com/SoftSec-KAIST/Eclipser) |

## Repository

Grey-box Concolic Testing on Binary Code (ICSE '19)

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by SoftSec-KAIST

- [SoftSec-KAIST/CodeAlchemist · ★ 243 · F\# · Prototype](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/CodeAlchemist)
- [SoftSec-KAIST/Fuzzing-Survey · ★ 231 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/Fuzzing-Survey)
- [SoftSec-KAIST/BinKit · ★ 183 · Shell · Prototype](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/BinKit)
- [SoftSec-KAIST/Smartian · ★ 160 · F\# · Prototype](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/Smartian)
- [SoftSec-KAIST/TikNib · ★ 125 · Python · Prototype](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/TikNib)
- [SoftSec-KAIST/NTFuzz · ★ 114 · F\# · Prototype](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/NTFuzz)

## Nearby in F\#

- [nosami/XSVim · ★ 157 · F\# · Prototype](https://repo.masters-masters.com/en/repos/nosami/XSVim)
- [Zaid-Ajaj/Hawaii · ★ 157 · F\# · Prototype](https://repo.masters-masters.com/en/repos/Zaid-Ajaj/Hawaii)
- [ieviev/fflat · ★ 155 · F\# · Prototype](https://repo.masters-masters.com/en/repos/ieviev/fflat)
- [cwtools/cwtools · ★ 154 · F\# · Prototype](https://repo.masters-masters.com/en/repos/cwtools/cwtools)
- [fsprojects-archive/zzarchive-Cricket · ★ 152 · F\# · Prototype](https://repo.masters-masters.com/en/repos/fsprojects-archive/zzarchive-Cricket)
- [SAFE-Stack/SAFE-ConfPlanner · ★ 152 · F\# · Prototype](https://repo.masters-masters.com/en/repos/SAFE-Stack/SAFE-ConfPlanner)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.