viperproject / prusti-dev

Symbolic-execution-based verifier for the Viper intermediate verification language.

Definition of the Viper intermediate verification language.

A static verifer for Ethereum Smart Contracts written in Vyper

HTTP server that manages verification requests to different tools from the Viper tool stack.

Kani Rust Verifier

#编程语言#The Eta Programming Language, a dialect of Haskell on the JVM

A complete, robust command-line utility to construct highly customized calls to the CreateProcess() Windows API. Released under a MIT or LGPL license.

C Bounded Model Checker

Cargo subcommand for configuring Cargo projects for best performance.

AMD Hypervisor written writh Rust.

Subcommand to show result of macro expansion

Code for my talks on the No Boilerplate channel

小红书笔记 | 评论爬虫、抖音视频 | 评论爬虫、快手视频 | 评论爬虫、B 站视频 ｜ 评论爬虫、微博帖子 ｜ 评论爬虫、百度贴吧帖子 ｜ 百度贴吧评论回复爬虫 | 知乎问答文章｜评论爬虫

Simple AsmInject Tool

Universal local privilege escalation Proof-of-Concept exploit for CVE-2024-1086, working on most Linux kernels between v5.14 and v6.6, including Debian, Ubuntu, and KernelCTF. The success rate is 99.4...

Nushell 是一个新型的Shell。相比bash、PowerShell，它是具有现代感的灵活的跨平台 Shell，允许你将命令行应用程序与可理解数据结构的 Shell 进行混合和匹配，具有现代命令行应用程序提供的用户体验优化

A GPU compute-centric 2D renderer.

SimpleVisor is a simple, portable, Intel VT-x hypervisor with two specific goals: using the least amount of assembly code (10 lines), and having the smallest amount of VMX-related code to support dyna...

A fast and lightweight fully featured OCI runtime and C library for running containers

一个基于 io-uring 和 thread-per-core 模型 Rust Runtime。

Creusot helps you prove your code is correct in an automated fashion.

Zimbra Collaboration (ZCS) Arbitrary File Upload Vulnerability