Denis Efremov

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

enable_eng. Magisk Module to enable engineering build props

kexec. Kexec Magisk Module

disk. Magisk Module with fdisk/sfdisk tools.

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

acsl-proved. Fully proved small C functions (examples for verification course).

mini-gmp. Port of mini-gmp library to kernel. minigmp.ko linux kernel module.

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

acsl-examples. Tiny programs with ACSL specifications.

ldv-rules. Rules for LDV project (http://linuxtesting.org/project/ldv).

kmem. An example of kernel module for arbitrary memory access

bash_functions. Small commands to source from your bashrc.

generate-cpanfile. Grep perl files in directory. Generates cpanfile according to use directives. Excludes core modules.

evernote-firefox-webclipper. Firefox addon with custom shortcuts.

Contiki-NG. C

yargen. Tool to automate the development of yara rules (CVEs in perl modules) for PT Approof.

e-acsl. Port of Frama-C E-ACSL plugin to AstraVer version of framework.

acslinux. ACSL specifications for LSM interface

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

latest_kernel. Monitor https://www.kernel.org/ and perform different actions (download/compile/notify) on kernel release.

linux_kernel_cves. Tracking CVEs for the linux Kernel

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

sprute. Perl

linux-floppy. Linux kernel source tree

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

check_headers. utility for finding typos in headers guards (c language .h files)

base-model. First level of the Event-B specification of the MROSL DP-model (with role-based access control)

ttrss_plugin-feediron. Evolution of ttrss_plugin-af_feedmod

do-vpn. Automatically start and stop DigitalOcean VPN droplet.