CodecheckerCodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Stars: ✭ 1,209 (+3167.57%)
S2eS2E: A platform for multi-path program analysis with selective symbolic execution.
Stars: ✭ 102 (+175.68%)
Dg[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (+554.05%)
azulaA fast, statically typed compiled language
Stars: ✭ 25 (-32.43%)
gismoGismo is a free Grasshopper plugin for GIS environmental analysis
Stars: ✭ 67 (+81.08%)
LLVMTemplateLLVM + Swift template Xcode project
Stars: ✭ 12 (-67.57%)
contechThe Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmers to gain a deeper understanding of parallel programs.
Stars: ✭ 43 (+16.22%)
TIGMINTTIGMINT: OSINT (Open Source Intelligence) GUI software framework
Stars: ✭ 195 (+427.03%)
flashmingoAutomatic analysis of SWF files based on some heuristics. Extensible via plugins.
Stars: ✭ 117 (+216.22%)
ScalpelScalpel: The Python Static Analysis Framework
Stars: ✭ 176 (+375.68%)
marsMinimal language with type inference, structures, control flow, and more.
Stars: ✭ 19 (-48.65%)
juce faustllvmJUCE Module for the libfaust JIT compiler
Stars: ✭ 32 (-13.51%)
lintsLint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command
Stars: ✭ 14 (-62.16%)
Corpuscles.jlJulia package for particle physics
Stars: ✭ 25 (-32.43%)
market-monitorInteractive app to monitor market using Python
Stars: ✭ 20 (-45.95%)
microarray-analysisMaterials on the analysis of microarray expression data; focus on re-analysis of public data ( http://tinyurl.com/cruk-microarray)
Stars: ✭ 44 (+18.92%)
360reverseReverse Engineering about 360 android app guard
Stars: ✭ 39 (+5.41%)
ugoµGo编程语言(从头开发一个迷你Go语言编译器)
Stars: ✭ 38 (+2.7%)
vulnscanA static binary vulnerability scanner
Stars: ✭ 47 (+27.03%)
common-osint-modelConverting data from services like Censys and Shodan to a common data model
Stars: ✭ 35 (-5.41%)
layerAnalyzer: Checks whether there are dependencies that illegal cross-border the layer structure.
Stars: ✭ 43 (+16.22%)
heyoka.pyPython library for ODE integration via Taylor's method and LLVM
Stars: ✭ 45 (+21.62%)
U-00DC-Sprache"Ü" programming language development
Stars: ✭ 43 (+16.22%)
pssaSingular Spectrum Analysis for time series forecasting in Python
Stars: ✭ 119 (+221.62%)
gis-snippetsSome code snippets for GIS tasks
Stars: ✭ 45 (+21.62%)
flextoolC++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)
Stars: ✭ 32 (-13.51%)
llvm2cpgLLVM meets Code Property Graphs
Stars: ✭ 62 (+67.57%)
pytokio[READ ONLY] Refer to gitlab repo for updated version - Total Knowledge of I/O Reference Implementation. Please see wiki for contribution guidelines.
Stars: ✭ 20 (-45.95%)
healthyRHospital Data Analysis Workflow Tools
Stars: ✭ 21 (-43.24%)
LLASTA high level LLVM IR AST provider for GraphEngine JIT.
Stars: ✭ 21 (-43.24%)
mal-analysisgithub repo for MyAnimeList analysis. Also links to the MAL dataset.
Stars: ✭ 31 (-16.22%)
rocket-league-replay-analysisUNMAINTAINED - Creating videos for Analyzing Rocket League Replays (https://gitlab.com/enzanki_ars/rocket-league-replay-analysis)
Stars: ✭ 24 (-35.14%)
swap-detectorA library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.
Stars: ✭ 19 (-48.65%)
Samples-JS-PHPJavaScript and PHP samples for Stimulsoft Reports.PHP reporting tool.
Stars: ✭ 17 (-54.05%)
CSCD70CSCD70 Compiler Optimization
Stars: ✭ 147 (+297.3%)
adoradFast, Expressive, & High-Performance Programming Language for those who dare
Stars: ✭ 54 (+45.95%)
deollvm64deobfuscator llvm arm64 script
Stars: ✭ 67 (+81.08%)
docker-openglMulti-Arch Docker - Mesa 3D OpenGL Software Rendering (Gallium) - LLVMpipe, and OpenSWR Drivers
Stars: ✭ 68 (+83.78%)
DomainCATDomain Connectivity Analysis Tools to analyze aggregate connectivity patterns across a set of domains during security investigations
Stars: ✭ 34 (-8.11%)
rainA programming language.
Stars: ✭ 20 (-45.95%)
SWELFSimple Windows Event Log Forwarder (SWELF). Its easy to use/simply works Log Forwarder and EVTX Parser. Almost in full release here at https://github.com/ceramicskate0/SWELF/releases/latest.
Stars: ✭ 23 (-37.84%)
redaReproducible Electrical Data Analysis
Stars: ✭ 14 (-62.16%)
tinylangTiny玩具语言(Go语言实现/包含Tiny编译器/CASL汇编器/COMET虚拟机/调试器/支持WebAssembly/LLVM)
Stars: ✭ 61 (+64.86%)
Time-Series-ForecastingRainfall analysis of Maharashtra - Season/Month wise forecasting. Different methods have been used. The main goal of this project is to increase the performance of forecasted results during rainy seasons.
Stars: ✭ 27 (-27.03%)
prop-types-definitionPatch for prop-types to get property type definition in runtime
Stars: ✭ 15 (-59.46%)
syclSYCL for Vitis: Experimental fusion of triSYCL with Intel SYCL oneAPI DPC++ up-streaming effort into Clang/LLVM
Stars: ✭ 80 (+116.22%)
dumb-obfuscatorTutorial on how to write the dumbest obfuscator I could think of.
Stars: ✭ 147 (+297.3%)
geodeThe Geode Programming Language
Stars: ✭ 16 (-56.76%)
llrlAn experimental Lisp-like programming language
Stars: ✭ 126 (+240.54%)
MetaCGMetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
Stars: ✭ 21 (-43.24%)
FPCheckerA dynamic analysis tool to detect floating-point errors in HPC applications.
Stars: ✭ 26 (-29.73%)