evdenis

adb_root

Magisk Module that allows you to run "adb root". Android 10 only. Probably will work with Android 9. Definitely not with Android 11/12.

selinux_permissive

Magisk Module that switches SELinux to permissive mode

cvehound

Check linux sources dump for known CVEs.

tether_unblock

Hide tethering from your mobile network operator

verker

Linux kernel library functions formally verified.

strace

Magisk Module with strace

lsm_bpf_check_argc0

LSM BPF module to block pwnkit (CVE-2021-4034) like exploits

kexec

Kexec Magisk Module

disk

Magisk Module with fdisk/sfdisk tools.

spec-utils

A number of utilities for writing ACSL specifications for a Linux module.

Contiki-NG

bash_functions

Small commands to source from your bashrc.

acsl-by-example

Public snapshots of "ACSL by Example"

check_exec_ro_lsm

A toy example of lsm bpf for blocking writable execs.

git-workflow

Программы для работы с репозитарием AstraVer

linux-floppy

Linux kernel source tree

animate

Simple tool to randomly animate Event-B models based on ProB.

evdenis

eventb-cond-extract

Extractor of conditions from Event-B models for building conditions coverage

eventb-to-txt

Event-B to txt converter

grokmirror

Framework to smartly mirror git repositories

kaitai_struct_formats

Kaitai Struct: library of binary file formats (.ksy)

ktf

Kernel Test Framework - a unit test framework for the Linux kernel

linux_kernel_cves

Tracking CVEs for the linux Kernel

opam-repository

Main public package repository for opam, the source package manager of OCaml.

prob2_kernel

(READ ONLY MIRROR) ProB 2.0 Kernel

proceedings

Proceedings of ISP RAS LaTeX Template

small-examples

Small examples of ACSL specifications.

syzkaller

syzkaller is an unsupervised, coverage-guided kernel fuzzer

zydis

Fast and lightweight x86/x86-64 disassembler and code generation library