Skip to content
Avatar

Achievements

Achievements

Block or Report

Block or report evdenis

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
evdenis/README.md

GitHub stats

Pinned

  1. Unified kernel tree for S10 and Note10 devices

    C 51 171

  2. verker Public

    Linux kernel library functions formally verified.

    C 37 6

  3. cvehound Public

    Check linux sources dump for known CVEs.

    SmPL 77 9

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

    C 5

  5. 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.

    Makefile 246 51

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

    Perl 9 3

508 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri

Contribution activity

April 2022

Created 4 commits in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.