Learning playground for Argus-SAF
☆10Dec 27, 2018Updated 7 years ago
Alternatives and similar repositories for Argus-SAF-playground
Users that are interested in Argus-SAF-playground are comparing it to the libraries listed below
Sorting:
- Argus static analysis framework☆197Jul 5, 2023Updated 2 years ago
- Benchmark apps for static analyzing native world of Android applications.☆13Nov 15, 2018Updated 7 years ago
- Benchmark apps for static analyzing inter-component data leakage problem of Android apps.☆18Jun 20, 2017Updated 8 years ago
- software vulnerabilities☆24Apr 3, 2019Updated 6 years ago
- Fuzzer for Wasm and Wasmer☆33Feb 17, 2020Updated 6 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 7 years ago
- ☆35Jan 5, 2017Updated 9 years ago
- homebridge smartthings plugin☆21Feb 25, 2026Updated last week
- Implements a simple "Wasp in the Box" algorithm for SmartThings☆11Feb 10, 2015Updated 11 years ago
- Encoders and Decoders for RF and IR protocols used for remote control and data acquisition. Both Encoders and Decoders can be supplied as…☆13Jul 29, 2017Updated 8 years ago
- PassDock public issue tracker.☆23Nov 11, 2014Updated 11 years ago
- Synchronizable PBKDF2 based password generator☆14Dec 31, 2016Updated 9 years ago
- Common code, such as validators and mixins, that are shared between ActiveModels in metasploit-framework and ActiveRecords in metasploit_…☆14May 2, 2025Updated 10 months ago
- Device types and SmartApps written for the SmartThings home automation system.☆11Jun 3, 2014Updated 11 years ago
- DEPRECATED: Element Hiding Helper extension for Adblock Plus☆11Dec 1, 2017Updated 8 years ago
- Inter-component communication Taint Analysis for Android☆94Feb 21, 2016Updated 10 years ago
- Chrome extension: password generator from master key using PBKDF2 with SHA-256.☆19Sep 14, 2015Updated 10 years ago
- SmartThings DeviceType for 8-way relay combined with Arduino and SmartThing board☆10Apr 17, 2014Updated 11 years ago
- ☆12Mar 6, 2015Updated 10 years ago
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 7 years ago
- Http Security Headers Checker Tool written in PHP Cli + Useful Tips to set Http Security Headers☆10Mar 27, 2021Updated 4 years ago
- ☆11Mar 22, 2024Updated last year
- My dotfiles☆11Feb 4, 2026Updated last month
- Sending whispers across the interstellar space!☆11Aug 11, 2019Updated 6 years ago
- iA Writer vim colorscheme☆36Apr 9, 2013Updated 12 years ago
- A measurement archive for collecting time series metrics from networks.☆10Sep 16, 2025Updated 5 months ago
- Linux helper for VLC Streamer.☆15Aug 31, 2014Updated 11 years ago
- An LLM-based LS implementation that makes use of tree-sitter context to perform code actions☆16Sep 6, 2024Updated last year
- Work in progress...☆10Feb 29, 2024Updated 2 years ago
- A Network access firewall for Unix like OS and specifically supports Raspberry Pi 3 .☆11Feb 25, 2018Updated 8 years ago
- 《人工智能法规、伦理与社会影响》书稿☆13Aug 28, 2021Updated 4 years ago
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated last month
- Valgrind tool for tracing memory accesses☆13Feb 6, 2025Updated last year
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- A command line application for Windows written in C# that allows a user to quickly send new todo's to Toodledo. I use it with launchy for…☆19Aug 25, 2012Updated 13 years ago
- Get motion/doorbell events and control lights/siren on Ring devices via SmartThings.☆12Jan 11, 2021Updated 5 years ago
- Sharp Aquos IP Remote for SmartThings☆10Oct 21, 2015Updated 10 years ago
- A template project for use with cargo-generate☆13Nov 7, 2023Updated 2 years ago
- wolfSSL Asynchronous Cryptography☆17Dec 8, 2025Updated 2 months ago