All Git Users → evdenis

5 open source projects by evdenis

[ Open user page on Github ]

Magisk Module that allows you to run "adb root".

✭ 97

android makefile adb root

2. Selinux permissive

Magisk Module that switches SELinux to permissive mode

✭ 44

Check linux sources dump for known CVEs.

✭ 74

SmPL python linux kernel cve coccinelle cve-scanning

4. tether unblock

Hide tethering from your mobile network operator

✭ 30

shell Makefile android tethering magisk magisk-module

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

✭ 14

c Makefile proofs formal-verification acsl frama-c

1-5 of 5 user projects