key | value |
---|---|
id | 167912156 |
name | Eclipser |
full_name | SoftSec-KAIST/Eclipser |
html_url | https://github.com/SoftSec-KAIST/Eclipser |
description | Grey-box Concolic Testing on Binary Code (ICSE '19) |
created_at | Jan. 28, 2019, 6:41 a.m. |
updated_at | Oct. 20, 2023, 9:31 a.m. |
pushed_at | Oct. 4, 2021, 6:52 a.m. |
size | 240 |
stargazers_count | 143 |
watchers_count | 7 |
forks_count | 16 |
open_issues | 3 |
language | F# |
awesome_list |