Skip to content
@GTISC

GTISC

Popular repositories Loading

  1. s2e s2e Public

    Forked from S2E/s2e

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

    C++

  2. s2e-env s2e-env Public

    Forked from S2E/s2e-env

    Your S2E project management tools. Visit https://s2e.systems/docs to get started.

    Python

  3. manifest manifest Public

    Forked from S2E/manifest

    Contains the Google repo manifests to manage S2E sources

  4. qemu qemu Public

    Forked from S2E/qemu

    QEMU VM with generic KVM extensions for symbolic execution

    C

  5. guest-images guest-images Public

    Forked from S2E/guest-images

    Scripts to automatically create VM images

    PowerShell

  6. decree decree Public

    Forked from S2E/decree

    Shell

Repositories

Showing 10 of 11 repositories
  • s2e Public Forked from S2E/s2e

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

    GTISC/s2e’s past year of commit activity
    C++ 0 92 0 1 Updated Oct 17, 2024
  • capa Public Forked from mandiant/capa

    The FLARE team's open-source tool to identify capabilities in executable files.

    GTISC/capa’s past year of commit activity
    Python 0 Apache-2.0 589 0 0 Updated Aug 20, 2024
  • capa-rules Public Forked from mandiant/capa-rules

    Standard collection of rules for capa: the tool for enumerating the capabilities of programs

    GTISC/capa-rules’s past year of commit activity
    0 Apache-2.0 167 0 0 Updated Aug 16, 2024
  • s2e-env Public Forked from S2E/s2e-env

    Your S2E project management tools. Visit https://s2e.systems/docs to get started.

    GTISC/s2e-env’s past year of commit activity
    Python 0 53 0 0 Updated Apr 10, 2024
  • manifest Public Forked from S2E/manifest

    Contains the Google repo manifests to manage S2E sources

    GTISC/manifest’s past year of commit activity
    0 15 0 0 Updated Apr 10, 2024
  • al-khaser Public Forked from ayoubfaouzi/al-khaser

    Public malware techniques used in the wild: Virtual Machine, Emulation, Debuggers, Sandbox detection.

    GTISC/al-khaser’s past year of commit activity
    C++ 0 GPL-2.0 1,236 0 0 Updated Mar 18, 2024
  • qemu Public Forked from S2E/qemu

    QEMU VM with generic KVM extensions for symbolic execution

    GTISC/qemu’s past year of commit activity
    C 0 18 0 0 Updated Feb 24, 2023
  • s2e-linux-kernel Public Forked from S2E/s2e-linux-kernel

    Linux kernels (CGC DECREE and vanilla) with S2E extensions

    GTISC/s2e-linux-kernel’s past year of commit activity
    0 9 0 0 Updated Jan 22, 2023
  • guest-images Public Forked from S2E/guest-images

    Scripts to automatically create VM images

    GTISC/guest-images’s past year of commit activity
    PowerShell 0 19 0 0 Updated Sep 19, 2022
  • scripts Public Forked from S2E/scripts

    Various build scripts

    GTISC/scripts’s past year of commit activity
    Makefile 0 6 0 0 Updated Jul 24, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…