Skip to content
Avatar
🥀
🥀
207 followers · 191 following

Sponsoring

@vitalych

Achievements

Arctic Code Vault Contributor
GitHub Sponsor

Achievements

Arctic Code Vault Contributor
GitHub Sponsor

Organizations

@SQLab @Synology
Block or Report

Block or report aesophor

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

Pinned

  1. SQLab/CRAXplusplus Public

    The exploit generator CRAX++ is CRAX with x86_64 ROP techniques, s2e 2.0 upgrade, code selection, I/O states, dynamic ROP, and more!

    C++ 51 5

  2. S2E/s2e Public

    S2E: A platform for multi-path program analysis with selective symbolic execution.

    C++ 225 54

  3. valkyrie Public

    🔮 A UNIX-like toy operating system built from scratch in C++20

    C++ 49 4

  4. vigilante Public

    🦇 2D pixel-art side-scrolling single-player ARPG

    C++ 60 6

  5. wmderland Public

    🌳 X11 tiling window manager using space partitioning trees

    C++ 379 18

  6. dotfiles Public

    📦 GNU/Linux dotfiles managed via GNU stow

    Shell 97 8

1,523 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!

Contribution activity

May 2022

Created 111 commits in 3 repositories

Created a pull request in S2E/s2e that received 3 comments

klee: Eliminate code duplication in Executor::fork()

Hello, Vitaly! I've spotted code duplication in klee::Executor::fork(), so I tried eliminating them by reusing the code in klee::ExecutionState::so…

+10 −30 • 3 comments
Opened 1 other pull request in 1 repository
3 contributions in private repositories May 29

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