Discover ispras/tm Open Source project

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

171

oss-sydr-fuzz

109

dedoc

Dedoc is a library (service) for automate documents parsing and bringing to a uniform format. It automatically extracts content, logical structure, tables, and meta information from textual electronic documents. (Parse document; Document content extraction; Logical structure extraction; PDF parser; Scanned document parser; DOCX parser; HTML parser

FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек

Futag

Library that helps use puppeteer in scrapy.

scrapy-puppeteer

Positive-Unlabeled Learning for Apache Spark

pu4spark

Scala

rop-benchmark

ROP Benchmark is a tool to compare ROP compilers

crusher

qdt

QEMU Development Toolkit

Toolkit with state-of-the-art Automatic Terms Recognition methods in Scala

atr4s

Scala

spark-openstack

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

Jinja

juliet-dynamic

Juliet C/C++ Dynamic Test Suite

qemu-gui

GUI for QEMU

Service for distributed systems deployment; part of Asperitas

michman

hdl-benchmarks

Collection of open HDL modules, subsystems and microprocessors (benchmarks) that are used for related tools testing.

Verilog

sydr-benchmark

Sydr benchmark applications

An x86-64 instruction decoder.

quix86

natch

Natch: инструмент определения поверхности атаки

Shell

cotea

cotea: Ansible control tool

EcgLib

CentOS 6.9 build Docker environment to distribute portable Linux binaries

centos6.9-build-docker

Dockerfile

swat

SWAT - System-Wide Analysis Toolkit

proceedings

Proceedings of ISP RAS LaTeX Template

TeX

v8-aotc

V8 ahead-of-time compilation project

A special service that runs puputeer instances.

scrapy-puppeteer-service

tact

lingvodoc-react

texterra-py

Texterra python sdk

More advanced Python version for Dialeqt project

lingvodoc

RISC-V Architecture Verification Suite (AVS)

riscv-avs

Assembly

microtesk-old

MicroTESK: Specification-Based Framework for Developing Test Program Generators

TrustedDynamic

Dockerfile

proceedings-md

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

TypeScript

dedoc-utils

Useful utilities for automatic document images processing

Cloud Unifier Tool for Service Orchestration

clouni

FuzzedDataProvider for C#, inspired by Google's FuzzedDataProvider.

FuzzedDataProviderCS

microtesk

MicroTESK: Specification-Based Framework for Developing Test Program Generators

Java

gocotea

gocotea: Ansible control tool on Golang

parmasan

Mirror repository with parmasan project

This repository is dedicated to the analysis of the EndoNuke dataset

endometrium-dataset-analysis

Jupyter Notebook

esoc

Ethernet Switch on Configurable Logic

Stata

angiocells_analysis

Jupyter Notebook

libosuction

A tool for stripping dynamic libraries of unneeded symbols

news-page-dataset

I3S

Utopia: a High-Level Synthesis framework

utopia-hls

Inverse Discrete Cosine Transform (IDCT) algorithm implementations are written in languages for High-Level Synthesis (HLS) and Hardware Construction (HC) tools.

hls-idct

Verilog

sv-tests

Test suites based on Verilog and SystemVerilog standards

Verilog

Klever Continuous Verification Framework

Build flags extractor and summarizer.

NetBlox

Java

flagsup

Collection of dockerfiles for dedoc group projects

dedockerfiles

Dockerfile

qdt-guest-agent