| key | value |
|---|---|
| id | 275685202 |
| name | sys |
| full_name | PLSysSec/sys |
| html_url | https://github.com/PLSysSec/sys |
| description | Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code |
| created_at | June 28, 2020, 11:20 p.m. |
| updated_at | Aug. 20, 2024, 3:13 p.m. |
| pushed_at | March 14, 2022, 9:03 p.m. |
| size | 4,771 |
| stargazers_count | 220 |
| watchers_count | 23 |
| forks_count | 41 |
| open_issues | 19 |
| language | LLVM |
| awesome_list |