ispras Goto Github PK

oss-sydr-fuzz

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

postgres

This is a modified version of PostgreSQL with just-in-time compiler for expressions. Current base version is 9.6.1.

proceedings

Proceedings of ISP RAS LaTeX Template

proceedings-md

Automatic markdown to docx converter that follows the Ispras proceedings design requirements

prs-data-filter

pu4spark

Positive-Unlabeled Learning for Apache Spark

purplemine2

A free Redmine theme for modern browsers

pyelftools

Parsing ELF and DWARF in Python

pyrsp

python implementation of the GDB Remote Serial Protocol

qdt

QEMU Development Toolkit

qdt-guest-agent

qemu

qemu-gui

GUI for QEMU

qiling

Qiling Advanced Binary Emulation Framework

quix86

An x86-64 instruction decoder.

riscv-avs

RISC-V Architecture Verification Suite (AVS)

rop-benchmark

ROP Benchmark is a tool to compare ROP compilers

scrapy-puppeteer

Library that helps use puppeteer in scrapy.

scrapy-puppeteer-service

A special service that runs puputeer instances.

spark

Lightning-fast cluster computing in Java, Scala and Python.

spark-openstack

Scripts to setup Spark cluster (any version) in any Openstack environment with optional useful tools.

spark-openstack-deprecated

Scripts used to setup a Spark cluster on Openstack

starfusionffpepipe

swat

SWAT - System-Wide Analysis Toolkit

sydr-benchmark

Sydr benchmark applications

tact

texterra-py

Texterra python sdk

tm

Regularized multilingual Probabilistic Semantic Analysis Scala implementation.

triton

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.

trusteddynamic