https://github.com/binsec/binsec
BINSEC binary-level open-source platform
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (7.5%) to scientific vocabulary
Repository
BINSEC binary-level open-source platform
Basic Info
- Host: GitHub
- Owner: binsec
- License: lgpl-2.1
- Language: OCaml
- Default Branch: master
- Size: 2.7 MB
Statistics
- Stars: 364
- Watchers: 15
- Forks: 38
- Open Issues: 5
- Releases: 20
Metadata Files
README.md
BINSEC 
BINSEC is an open-source toolset to help improve software security at the binary level. It relies on cutting-edge research in binary code analysis, at the intersection of formal methods, program analysis, security and software engineering. It is powered up by state-of-the-art techniques such as binary-level formal methods, symbolic execution, abstract interpretation, SMT solving and fuzzing.
Website
More information about BINSEC is available at: https://binsec.github.io/
Getting started
See install instructions.
Then, have a look at user documentation for command examples.
Contributing
Found a bug or want to make a suggestion, check how to contribute improving BINSEC.
Owner
- Name: BINSEC development team
- Login: binsec
- Kind: organization
- Repositories: 6
- Profile: https://github.com/binsec
GitHub Events
Total
- Create event: 1
- Release event: 2
- Issues event: 9
- Watch event: 43
- Issue comment event: 13
- Push event: 7
- Pull request event: 1
- Fork event: 5
Last Year
- Create event: 1
- Release event: 2
- Issues event: 9
- Watch event: 43
- Issue comment event: 13
- Push event: 7
- Pull request event: 1
- Fork event: 5
Issues and Pull Requests
Last synced: 6 months ago
All Time
- Total issues: 6
- Total pull requests: 1
- Average time to close issues: about 2 years
- Average time to close pull requests: about 3 years
- Total issue authors: 6
- Total pull request authors: 1
- Average comments per issue: 2.17
- Average comments per pull request: 0.0
- Merged pull requests: 1
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 3
- Pull requests: 0
- Average time to close issues: 2 months
- Average time to close pull requests: N/A
- Issue authors: 3
- Pull request authors: 0
- Average comments per issue: 1.33
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- cchr-ledger (3)
- niooss-ledger (2)
- buptdsc (1)
- papipig (1)
- Lesly-Ann (1)
- fcmonoid (1)
- DarkaMaul (1)
- tarcieri (1)
- phaysaal (1)
- Leopounet (1)
Pull Request Authors
- bernardnongpoh (1)