-
Huawei Technologies Co. Ltd
- Moscow, Russia
Starred repositories
This is a space where I express my thoughts and opinions on mostly technical things
Library to read, write, analyze, and process java bytecode
a hack way to communication d3.js with rust (WASM) for spike
Pixy is a scanner static code analysis tools that scans PHP applications for security vulnerabilities.
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
My personal Emacs config with any quirks, oddities, bugs, and man-eating errors I live with on a daily basis.
Awesome utilities for performance profiling
Bandit is a tool designed to find common security issues in Python code.
Analysis of the Enterprise SAST/DAST product landscape
A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using static analysis with a json based rules engine. …
DevSecOps, ASPM, Vulnerability Management. All on one platform.
OWASP dependency-check is a software composition analysis utility that detects publicly disclosed vulnerabilities in application dependencies.
Правила статического анализа для PT Application Inspector
Horusec is an open source tool that improves identification of vulnerabilities in your project with just one command.
A script allowing you to download images and videos from Telegram web even if the group restricts downloading.
Syntax highlighting for `less`, powered by Emacs
Rainbow identifier highlighting for Emacs
Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them
Supercharge your Org daily/weekly agenda by grouping items
A sample Telegram Python Bot (PTB) v20.x using Webhooks that runs on AWS Serverless
Highlight symbols with keymap-enabled overlays
The efficient SMT-based context-bounded model checker (ESBMC)
CodeShield-Security / SPDS
Forked from CROSSINGTUD/SPDSEfficient and Precise Pointer-Tracking Data-Flow Framework