11 results found Sort:

wala
WALA wala
223
763
epl-2.0
30
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
java android slicing callgraph javascript static-analysis pointer-analysis program-analysis dataflow-analysis static-code-analysis
Created 2012-04-05
7,273 commits to master branch, last one a day ago
mchalupa
dg mchalupa
136
484
mit
20
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
llvm slice llvm-ir slicing analysis llvm-slicer llvm-bitcode backward-slice data-dependency static-analysis static-analyzer backward-slicing dependence-graph dependency-graph pointer-analysis program-analysis control-dependency points-to-analysis reaching-definitions static-code-analysis
Created 2015-02-19
3,181 commits to master branch, last one about a year ago
staticafi
symbiotic staticafi
55
313
mit
13
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
klee llvm slice llvm-ir slicing verification instrumentation program-slicing symbolic-execution program-verification software-verification verification-toolchain
Created 2014-12-30
2,052 commits to main branch, last one 21 days ago
moehriegitt
hob3l moehriegitt
17
248
gpl-3.0
8
100x Faster Slicing of SCAD Files for 3D Printing
csg stl fast plane webgl polygon slicing openscad polyhedron 3d-printing polygon-boolean polygon-clipping
Created 2018-09-28
341 commits to master branch, last one 5 months ago
bahrie127
flutter_grocery_app bahrie127
10
89
unknown
4
learning slicing and flutter bloc state management
bloc dart uiux flutter slicing
Created 2022-08-01
9 commits to master branch, last one about a year ago
fabiocaccamo
python-fontbro fabiocaccamo
4
65
mit
2
:billed_cap: friendly font operations on top of fontTools.
otf ttf font woff woff2 python static subset scripts slicing opentype renaming variable fonttools languages subsetting typography variations writing-systems
Created 2021-10-14
579 commits to main branch, last one about a month ago
intoli
slice intoli
3
55
other
5
A JavaScript implementation of Python's negative indexing and extended slice syntax.
range slice arrays nodejs python slicing strings javascript negative-indices
Created 2018-05-31
108 commits to master branch, last one 6 years ago
resess
Slicer4J resess
18
39
mit
7
Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
java slicer slicing
Created 2021-07-02
100 commits to main branch, last one 9 months ago
Bodigrim
text-rope Bodigrim
3
36
bsd-3-clause
4
A wrapper around Text for fast line/column navigation and logarithmic concatenation
rope text lines utf-16 haskell slicing unicode position concatenation
Created 2021-12-24
43 commits to master branch, last one 4 months ago
or-abdillh
chat-app or-abdillh
6
36
unknown
1
Project slicing design UI to real interface uisng Vue JS and Tailwind #08
pinia vuejs slicing tailwindcss vue-router4
Created 2022-02-13
18 commits to main branch, last one 2 years ago
srl-labs
sros-anysec-macsec-lab srl-labs
3
25
unknown
7
This is an ANYSec and MACSec demo using Nokia SROS vSIMs with SR-ISIS and Flex-Algo Slicing, gNMIc Streaming Telemetry and Python/Flask Automation.
fp5 sros gnmic anysec macsec grafana slicing sr-isis clab-topo flex-algo telemetry automation prometheus containerlab
Created 2023-12-17
160 commits to main branch, last one about a month ago