Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / simkoc / raccoon
Source Code for the Publication 'Raccoon: Automated Verification of Guarded Race Conditions in Web Applications' in the proceedings of SAC'20
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/simkoc%2Fraccoon
Stars: 1
Forks: 0
Open Issues: 6
License: None
Language: Python
Repo Size: 36.4 MB
Dependencies:
40
Created: over 4 years ago
Updated: over 4 years ago
Last pushed: over 1 year ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
- Click ==7.0
- PyNaCl ==1.3.0
- Pygments ==2.3.1
- argcomplete ==1.0.0
- asd ==1.3.2
- asn1crypto ==0.24.0
- attrdict ==2.0.1
- bcrypt ==3.1.6
- certifi ==2019.6.16
- cffi ==1.12.3
- chardet ==3.0.4
- colorama ==0.4.1
- configparser ==3.7.4
- cryptography ==2.7
- enum34 ==1.1.6
- idna ==2.8
- ipaddress ==1.0.22
- lxml ==4.3.4
- neobolt ==1.7.13
- neotime ==1.7.4
- netaddr ==0.7.19
- paramiko ==2.6.0
- prompt-toolkit ==2.0.9
- psycopg2 ==2.8.3
- pycparser ==2.19
- python-dateutil ==2.8.0
- pytz ==2019.1
- requests ==2.22.0
- selenium ==3.141.0
- six ==1.12.0
- sqlparse ==0.3.0
- urllib3 ==1.25.3
- voidpp-tools ==1.8.1
- wcwidth ==0.1.7