evdenis Goto Github PK

abc

Free theme for your Ghost blog

acsl-by-example

Public snapshots of "ACSL by Example"

acsl-examples

Tiny programs with ACSL specifications.

acsl-proved

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

acslinux

ACSL specifications for LSM interface

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.

animate

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

base-model

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

bash_functions

Small commands to source from your bashrc.

check_exec_ro_lsm

A toy example of lsm bpf for blocking writable execs.

check_headers

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

contiki-ng

contiki-ng-orig

Contiki-NG: The OS for Next Generation IoT Devices

cvehound

Check linux sources dump for known CVEs.

disk

Magisk Module with fdisk/sfdisk tools.

do-vpn

Automatically start and stop DigitalOcean VPN droplet.

e-acsl

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

enable_eng

Magisk Module to enable engineering build props

evdenis

eventb-cond-extract

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

eventb-to-txt

Event-B to txt converter

evernote-firefox-webclipper

Firefox addon with custom shortcuts.

export_checking

Check Linux kernel __init and __exit functions for exporting as EXPORT_SYMBOL*

generate-cpanfile

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

git-workflow

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

grokmirror

Framework to smartly mirror git repositories

ifc

Just a small project for analysis of inter-faculty courses of MSU

kaitai_struct_formats

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

katechon

kexec

Kexec Magisk Module