issues
search
nowarp
/
misti
TON Static Analyzer
Apache License 2.0
4
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
The `UnboundLoops` lint and the Souffle-based equations solver
#18
byakuren-hijiri
opened
1 day ago
0
Soufflé-based dataflow equations solver
#17
byakuren-hijiri
opened
3 days ago
0
Add the `neverAccessedVariables` lint and the fixpoint solver
#16
byakuren-hijiri
closed
3 days ago
0
Save references to AST positions in facts
#15
byakuren-hijiri
closed
1 month ago
0
Soufflé: Add `souffle` to CI
#14
byakuren-hijiri
opened
1 month ago
0
Soufflé: API to parse definitions from files
#13
byakuren-hijiri
opened
1 month ago
0
Soufflé: Declarative API
#12
byakuren-hijiri
opened
1 month ago
0
Pretty-print statements in the CFG dump
#11
byakuren-hijiri
opened
1 month ago
0
Support Stdlib objects and `native` functions in CFG
#10
byakuren-hijiri
opened
1 month ago
1
Add interprocedural control flow and CFG dump
#9
byakuren-hijiri
closed
1 month ago
0
Generic Soufflé detector
#8
byakuren-hijiri
opened
2 months ago
0
Add benchmarks
#7
byakuren-hijiri
opened
2 months ago
0
CFG dump in JSON and Graphviz
#6
byakuren-hijiri
closed
1 month ago
0
GitHub action to update github-pages on release
#5
byakuren-hijiri
opened
2 months ago
0
CFG tests should involve Jest snapshot testing
#4
byakuren-hijiri
closed
1 month ago
0
Move Soufflé bindings to a separate repository
#3
byakuren-hijiri
opened
2 months ago
0
Support Tact 1.3
#2
byakuren-hijiri
opened
2 months ago
0
Soufflé-based analysis module and IR adjustments
#1
byakuren-hijiri
closed
2 months ago
0