Pinned Repositories
afl-dr
Experiment in implementation of an instrumentation for American Fuzzy Lop using DynamoRIO
bpfinst-spec
Generic API for different eBPF-based instrumenter engines
kbdysch
A collection of user-space Linux kernel specific guided fuzzers based on LKL
memtest86-plus-riscv
Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)
qemujs
Qemu.js source code with proof-of-concept machine-code-to-WASM JIT.
qemujs-builder
Build scripts for Qemu.js
qemujs-demo
Demo for the qemu.js
qinst
Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code
simpleinst
Make writing trivial inst{ruction,rumentation}s for RocketChip as simple as writing the C code
pmd-scm
Source Code Minimizer
atrosinenko's Repositories
atrosinenko/qemujs
Qemu.js source code with proof-of-concept machine-code-to-WASM JIT.
atrosinenko/kbdysch
A collection of user-space Linux kernel specific guided fuzzers based on LKL
atrosinenko/qemujs-demo
Demo for the qemu.js
atrosinenko/qinst
Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code
atrosinenko/afl-dr
Experiment in implementation of an instrumentation for American Fuzzy Lop using DynamoRIO
atrosinenko/qemujs-builder
Build scripts for Qemu.js
atrosinenko/memtest86-plus-riscv
Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)
atrosinenko/composite-video-generator
Example of composite video generation with Chisel (B/W for now)
atrosinenko/graalvm-llvm-example
Example of loading and executing LLVM IR into GraalVM
atrosinenko/simpleinst
Make writing trivial inst{ruction,rumentation}s for RocketChip as simple as writing the C code
atrosinenko/lecture-notes-compiler
This is a script for compilation of PDF and DjVu files from scanned lecture notes.
atrosinenko/bpfinst-spec
Generic API for different eBPF-based instrumenter engines
atrosinenko/fpga-shells
atrosinenko/freedom
Source files for SiFive's Freedom platforms (port to Zeowaa board with Cyclone 4 chip: see intel-zeowaa branch)
atrosinenko/om-lsp-draft
[abandoned] Drafty and kludgy PoC implementation of Modelica Language Server in Scala.
atrosinenko/pmd
An extensible multilanguage static code analyzer.
atrosinenko/OpenModelica
OpenModelica is an open-source Modelica-based modeling and simulation environment intended for industrial and academic usage.
atrosinenko/acle
Arm C Language Extensions (ACLE)
atrosinenko/atrosinenko.github.io
My home page
atrosinenko/emscripten
Emscripten: An LLVM-to-JavaScript Compiler
atrosinenko/freedom-u-sdk
Freedom Unleashed Software Development Kit
atrosinenko/glib
GLib
atrosinenko/HiFive_U-Boot
HiFIve Unleashed U-Boot
atrosinenko/libffi
A portable foreign-function interface library.
atrosinenko/lkl-linux
Linux kernel source tree
atrosinenko/llinst
atrosinenko/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
atrosinenko/ModelicaStandardLibrary
Free (standard conform) library from the Modelica Association to model mechanical (1D/3D), electrical (analog, digital, machines), magnetic, thermal, fluid, control systems and hierarchical state machines. Also numerical functions and functions for strings, files and streams are included.
atrosinenko/rocket-chip
Fork of Rocket Chip Generator: turn RoCC-0 accelerator into per-instruction instrumenter baked into the design
atrosinenko/SDL2