Repositories list

• 112-spring-software-testing-and-secure-programming

  Public
  Labs for NYCU "Software Testing and Secure Programming" course in 112 spring

  JavaScript

  •

  MIT License

  •46•0•0•0•Updated Jun 27, 2024Jun 27, 2024

• 112-spring-software-testing

  Public
  Labs for NYCU "Software Testing" course in 112 spring

  JavaScript

  •

  MIT License

  •63•4•0•0•Updated Jun 27, 2024Jun 27, 2024

• CRAXplusplus

  Public
  The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)

  exploitsymbolic-executions2e+ 3aegconcolic-executioncrax

  C++

  •

  Other

  •15•99•3•0•Updated Jan 13, 2023Jan 13, 2023

• ropchain

  Public
  A x86 systematic ROP payload generation

  C

  •13•57•1•0•Updated Feb 28, 2020Feb 28, 2020

• symgdb

  Public
  SymGDB - symbolic execution plugin for gdb

  gdbsymbolic-executiongdb-plugin+ 1triton

  Python

  •

  MIT License

  •26•215•0•0•Updated May 15, 2018May 15, 2018

• CRAX-lab

  Public
  AIS3 CRAX lab demo

  C

  •4•33•1•0•Updated Apr 26, 2017Apr 26, 2017

• SQLab.github.io_backup

  Public
  sqlab website

  HTML

  •0•0•0•0•Updated Jul 21, 2016Jul 21, 2016

• sqlab_website

  Public archive
  JavaScript

  •2•0•0•0•Updated Jul 21, 2016Jul 21, 2016

• CRAX

  Public
  CRAX: software CRash analysis for Automatic eXploit generation

  exploitsymbolic-executions2e+ 2aegcrax

  C

  •168•49•6•1•Updated Aug 19, 2015Aug 19, 2015

• pin

  Public
  Use Intel Pin tools to analysis binary.

  C++

  •9•0•0•0•Updated Jul 19, 2015Jul 19, 2015

• CRAXWeb

  Public
  C

  •4•7•0•0•Updated Aug 28, 2014Aug 28, 2014

• cloudsa-exercise

  Public
  Exercise materials of the course Cloud System Administration in National Chiao Tung Unerversity

  1•0•0•0•Updated Jul 5, 2014Jul 5, 2014

• crax-vagrant

  Public
  CRAXBox is a vagrant environment for developing and testing CRAX.

  Puppet

  •0•1•0•0•Updated Apr 15, 2014Apr 15, 2014

• PEaaS

  Public
  Programming Exam as a Service

  Python

  •

  Apache License 2.0

  •1•0•16•0•Updated Mar 12, 2014Mar 12, 2014

• wargame-webapp

  Public
  Wargame web frontend

  0•0•0•0•Updated Dec 3, 2013Dec 3, 2013

• cloudos-exercise

  Public
  Exercises of CloudOS

  1•1•0•0•Updated Nov 17, 2013Nov 17, 2013

• CRAXDroid

  Public
  CRAX on Android

  0•1•0•0•Updated Jul 25, 2012Jul 25, 2012