dangtunguyen / IoTSanLinks
IotSan: Fortifying the Safety of IoT Systems (ACM CoNEXT'18)
☆14Updated 7 years ago
Alternatives and similar repositories for IoTSan
Users that are interested in IoTSan are comparing it to the libraries listed below
Sorting:
- DiAne is a smart fuzzer for IoT devices☆42Updated last year
- ☆10Updated 5 years ago
- Benchmark apps for static analyzing native world of Android applications.☆13Updated 7 years ago
- Protocol Inspection and State Machine Analysis☆23Updated 7 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 4 years ago
- Source Code Vulnerability Detection Tools(SCVDT)provides a vulnerable code database, vulnerability detection service for Java and C/C++ p…☆118Updated 4 years ago
- aurora-d☆20Updated 3 years ago
- ☆13Updated 5 years ago
- AutoVAS is an automated vulnerability analysis system with a deep learning approach.☆35Updated 4 years ago
- Python library for CPGQL server☆41Updated last year
- An Automated Vulnerability Detection System☆59Updated 9 years ago
- Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app☆42Updated 5 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Updated 4 years ago
- This is the project of LearnAFL.☆28Updated 5 years ago
- ☆10Updated 5 years ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Updated 5 years ago
- ☆34Updated last year
- Static data flow-based analysis of JavaScript files to detect syntactic clones☆23Updated 5 years ago
- MINER provided by the paper "MINER: A Hybrid Data-Driven Approach for REST API Fuzzing"☆42Updated 2 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆32Updated 5 years ago
- Polar : Function Code Aware Fuzz Testing of ICS Protocol☆34Updated 5 years ago
- ☆27Updated 2 years ago
- ☆82Updated 4 years ago
- ☆11Updated 10 years ago
- Sensitive and Collaborative Fuzzing with AFL☆27Updated 6 years ago
- ☆12Updated 4 years ago
- Source code of MEUZZ fuzzer☆46Updated 4 years ago
- COVA - A static analysis tool to compute path conditions☆40Updated 6 months ago
- ReDeBug Source Code.☆24Updated 2 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆15Updated 3 years ago