mahsafrhni

mahsafrhni's Stars

• openwrt/openwrt

  This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins. We will continue to accept Pull Requests here. They will be merged via staging trees then into openwrt.git.

  Language:C21k5897.2k10.7k

• analysis-tools-dev/static-analysis

  ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

  Language:Rust13.5k3205771.4k

• github/codeql

  CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

  Language:CodeQL7.9k2392.3k1.6k

• u-boot/u-boot

  "Das U-Boot" Source Tree

  Language:C4.1k17703.7k

• klee/klee

  KLEE Symbolic Execution Engine

  Language:C++2.7k107606682

• mkubecek/vmware-host-modules

  Patches needed to build VMware (Player and Workstation) host modules against recent kernels

  Language:Makefile2.3k106271385

• PSPReverse/PSPTool

  Display, extract, and manipulate PSP firmware inside UEFI images

  Language:Python614284462

• coreboot/seabios

  mirror of seabios

  Language:C393250134

• openembedded/openembedded-core

  The official Git repository is at https://git.openembedded.org/openembedded-core/.

  Language:BitBake374550506

• openbios/openbios

  First published Open Source implementation of OpenFirmware

  Language:C36532979

• cs01/pygdbmi

  A library to parse gdb mi output and interact with gdb subprocesses

  Language:Python225124247

• HuantWang/FUNDED_NISL

  FUNDED is a novel learning framework for building vulnerability detection models.

  Language:Python12872736

• andreiw/UefiToolsPkg

  Various useful utilities for UEFI

  Language:C12715739

• theopolis/uefi-spider

  Crawl/download UEFI/BIOS updates from ISV/OEM distributors.

  Language:Python7215111

• tianocore/udk

  UEFI Development Kit

  Language:C6619024

• acidanthera/audk

  Acidanthera UEFI Development Kit based on EDK II edk2-stable202405

  Language:C6114030

• SVL-PSU/crete-dev

  CRETE under development

  Language:C59124215

• DependableSystemsLab/TensorFI

  TensorFI is a fault injection framework for injecting both hardware and software faults into applications written using the TensorFlow framework. You can find more information about TensorFI in the paper below.

  Language:Python54142223

• DependableSystemsLab/LLTFI

  LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applications at the LLVM IR level. Please refer to the paper below. NOTE: If you publish a paper using LLTFI, please cite the following paper:

  Language:C++3353712

• andreiw/andreiw-wip

  My WIP bin, various interesting open-source work in progress

  Language:C10624

• yassersouri/Sharif-Master-Thesis-Template

  LaTeX template for Sharif's Computer Engineering Master Thesis

  Language:TeX9302

• DependableSystemsLab/GPU-Injector

  A Fault Injector for GPGPU applications

  Language:Python81655

• tianocore-docs/edk2-MinimumPlatformSpecification

  EDK II Minimum Platform Specification

  Language:HTML72127

• Laurie0131/EDK_II_UDK_Debugger_pres

  EDK II Source Level Debugging with the Intel® UEFI Development Kit Debugger (UDK Debugger)

  Language:CSS3200

• Laurie0131/UEFI_Boot_Flow_Pres2

  Overview of the UEFI & PI Boot Flow process

  Language:CSS220

• ajfish/edk2

  EDK II

  Language:C1001

• artem-nefedov/uefi-qemu-communicator

  Language:Shell1101

• Laurie0131/EDK_II_Modules_Libs_Drivers_pres

  Overview of EDK II Modules: Libraries, Drivers & Applications

  Language:CSS120

• Laurie0131/UEFI_Driver_pres

  How to write a UEFI Driver with the UEFI Driver Model

  Language:CSS120

• Laurie0131/UEFI_Shell_WIN_Lab

  Windows NT32 Emulation - UEFI Shell Lab - commands and scripts

  Language:CSS120