OTAWA: An Open Toolbox for Adaptive WCET Analysis. Fork of https://git.renater.fr/anonscm/git/otawa/otawa.git

A Pointer Analysis Framework for Rust

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

Migrate C code to Rust

Concurrent Bugs Detection Based On Petri Net

⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more. With repository stars⭐ and forks🍴

Kani Rust Verifier

Code examples, data structures, and links from my book, Rust Atomics and Locks.

Offline signal temporal logic monitor written in Rust

Rust Analysis Platform

Concurrency permutation testing tool for Rust.

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Empowering everyone to build reliable and efficient software.

Main repository of the GreatSPN framework

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Curated list of resources for Embedded and Low-level development in the Rust programming language

Find deadlocks in Rust code with Petri net model checking

netcrab: A tool suite for creating, visualizing and analizing Petri-Nets made in Rust

Simple Petri net editor and simulator

Verified Rust for low-level systems code

零一次元：记录个人关于技术、管理、经济和社会的深度思考

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Asynchronous Programming in Rust

Create petri net data and convert it to other formats

Visualization of LLVM IR

A tool for building PDNet

静态分析及代码审计自动化相关资料收集