-
cvehound Public
Check linux sources dump for known CVEs.
-
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Creative Commons Zero v1.0 Universal UpdatedApr 16, 2025 -
acsl-by-example Public
Forked from fraunhoferfokus/acsl-by-examplePublic snapshots of "ACSL by Example"
-
proceedings-md Public
Forked from ispras/proceedings-mdAutomatic markdown to docx converter that follows the Ispras proceedings design requirements
TypeScript UpdatedMay 20, 2024 -
adb_root Public
Magisk Module that allows you to run "adb root". Android 10 only. Probably will work with Android 9. Definitely not with Android 11/12.
-
spec-utils Public
A number of utilities for writing ACSL specifications for a Linux module.
-
linux_kernel_cves Public
Forked from nluedtke/linux_kernel_cvesTracking CVEs for the linux Kernel
-
zydis Public
Forked from zyantific/zydisFast and lightweight x86/x86-64 disassembler and code generation library
C MIT License UpdatedJan 31, 2024 -
animate Public
Simple tool to randomly animate Event-B models based on ProB.
Java UpdatedSep 27, 2023 -
syzkaller Public
Forked from google/syzkallersyzkaller is an unsupervised, coverage-guided kernel fuzzer
Go Apache License 2.0 UpdatedSep 8, 2023 -
eventb-cond-extract Public
Extractor of conditions from Event-B models for building conditions coverage
Java GNU General Public License v3.0 UpdatedJul 13, 2023 -
prob2_kernel Public
Forked from hhu-stups/prob2_kernel(READ ONLY MIRROR) ProB 2.0 Kernel
Java Eclipse Public License 2.0 UpdatedJun 16, 2023 -
eventb-to-txt Public
Forked from 17451k/eventb-to-txtEvent-B to txt converter
Python MIT License UpdatedJun 13, 2023 -
linux-floppy Public
Forked from torvalds/linuxLinux kernel source tree
-
check_exec_ro_lsm Public archive
A toy example of lsm bpf for blocking writable execs.
-
grokmirror Public
Forked from mricon/grokmirrorFramework to smartly mirror git repositories
Python GNU General Public License v3.0 UpdatedApr 13, 2022 -
lsm_bpf_check_argc0 Public archive
LSM BPF module to block pwnkit (CVE-2021-4034) like exploits
-
-
kaitai_struct_formats Public
Forked from kaitai-io/kaitai_struct_formatsKaitai Struct: library of binary file formats (.ksy)
-
selinux_permissive Public
Magisk Module that switches SELinux to permissive mode
-
-
verker Public archive
Linux kernel library functions formally verified.
-
ktf Public
Forked from oracle/ktfKernel Test Framework - a unit test framework for the Linux kernel
-
strace Public
Magisk Module with strace
-
disk Public
Magisk Module with fdisk/sfdisk tools.
-
kexec Public
Kexec Magisk Module
-
tether_unblock Public archive
Hide tethering from your mobile network operator
-
-
git-workflow Public
Программы для работы с репозитарием AstraVer
{{ message }}