IDE Integration of Facebook Infer
☆15Nov 9, 2022Updated 3 years ago
Alternatives and similar repositories for InferIDE
Users that are interested in InferIDE are comparing it to the libraries listed below
Sorting:
- Benchmark a web page and display results with a pretty UI.☆25Sep 20, 2015Updated 10 years ago
- Magisk Module containing the minimal software/framework/firmware for NFC functionality for NXP controllers, future plans for a hook for N…☆10Jun 30, 2023Updated 2 years ago
- ☆17Jan 23, 2026Updated last month
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- Patched GDB-Multiarch to debug android Kernels.☆14Jun 29, 2019Updated 6 years ago
- Simple xcode iOS bonjour network browser☆10Oct 6, 2018Updated 7 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- Prototype of a fuzzer for Julia based on concolic execution☆19Feb 8, 2020Updated 6 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- Python utilities for joern☆36Nov 13, 2018Updated 7 years ago
- Motorola 6805/68HC05 CPU emulator core☆19Jun 10, 2024Updated last year
- ☆17Jan 31, 2026Updated last month
- In memory fuzzing for embedded devices☆19Jun 20, 2012Updated 13 years ago
- A Telegram Bot for EPFL stuff☆11May 11, 2016Updated 9 years ago
- Website where portuguese political controversies can be seen on a calendar to allow seeing it in a bigger picture.☆14Jan 11, 2023Updated 3 years ago
- The Pulse separation logic DSL for F*☆35Mar 12, 2026Updated last week
- ☆11Apr 16, 2022Updated 3 years ago
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 6 years ago
- 毕业设计-基于HBase实现的手机数据备份系统，实现了手机关键信息的备份，如短信、联系人、重要文件等。☆18Mar 29, 2017Updated 8 years ago
- ☆20Jan 9, 2024Updated 2 years ago
- AES-128 and DES differential fault analysis☆16Jan 20, 2021Updated 5 years ago
- ☆14Dec 19, 2025Updated 3 months ago
- DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads☆20Mar 29, 2023Updated 2 years ago
- Latex cheat sheet for the EPFL (http://epfl.ch/) course "Pattern Matching and Machine Learning", Fall 2014.☆18May 16, 2018Updated 7 years ago
- ☆30Jul 21, 2021Updated 4 years ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Mar 9, 2026Updated last week
- A memory allocator verified with Verus☆33Feb 18, 2026Updated last month
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆27Jan 10, 2025Updated last year
- Code for the paper "A Structural Model for Contextual Code Changes"☆32Oct 25, 2023Updated 2 years ago
- A file notification library for tokio☆13Nov 26, 2025Updated 3 months ago
- The cleanest and easiest way of doing unattended Debian or Ubuntu installs!☆33Feb 5, 2019Updated 7 years ago
- The classifier of Superpower(from Tongji University) used in Robomaster2019. 19k FPS on NUC.☆11Sep 20, 2020Updated 5 years ago
- Semantic rule engine for QML☆10Aug 3, 2017Updated 8 years ago
- Binary code size profiler for WebAssembly☆13Aug 11, 2022Updated 3 years ago
- Course project of CG(CS100433, 2019 fall, Tongji Univ.): A real-time billiard simulator using both ray tracing and graphics pipeline.☆12Sep 19, 2020Updated 5 years ago
- Mass properties for Bevy's geometric primitives.☆21Jan 16, 2026Updated 2 months ago
- Tools for extend OBJ-C classes (especially for extending classes belonging close sourced applications)☆54Oct 28, 2011Updated 14 years ago
- Official Articblush GTK theme☆10Nov 13, 2022Updated 3 years ago
- The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)☆17Oct 4, 2024Updated last year