Skip to content

Pull requests: seqra/opentaint

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

feat(analyzer, ci, core): Add Python IR
#401 opened Sep 11, 2026 by Bupaheh Collaborator Loading…
fix(core): Mitigate fact explosion on some projects
#392 opened Sep 1, 2026 by Saloed Contributor Draft
fix(core): Base only analysis rewrite
#391 opened Sep 1, 2026 by Saloed Contributor Draft
feat(analyzer, go-server): Add model support to analyzer
#387 opened Aug 27, 2026 by misonijnik Member Loading…
fix(core): Fix passthrough and dataflow models handling
#385 opened Aug 27, 2026 by misonijnik Member Loading…
fix(docs): Document Go and prefix-addressed models
#384 opened Aug 26, 2026 by misonijnik Member 3/3 Loading…
fix(cli, docs, ci): Accept Go model modules
#382 opened Aug 26, 2026 by misonijnik Member 2/3 Loading…
fix(core, analyzer, model): Migrate built-in Java models and add Go models
#381 opened Aug 26, 2026 by misonijnik Member 1/3 Loading…
fix(cli, docs): Refactor and enhance approximation modules and CLI support
#380 opened Aug 26, 2026 by misonijnik Member 3/3 Loading…
fix(model): Isolate builtin approximation libraries
#378 opened Aug 26, 2026 by misonijnik Member 2/3 Loading…
fix(analyzer): Define isolated approximation modules
#377 opened Aug 26, 2026 by misonijnik Member 1/3 Loading…
test(analyzer): Reproduce Go tuple-source LHS pattern failures
#375 opened Aug 26, 2026 by Gr-i-niy Contributor Loading…
test(analyzer): Reproduce unresolved Go func-field factory calls
#373 opened Aug 25, 2026 by Gr-i-niy Contributor Loading…
fix(cli, docs): Refactor CLI help and model flag names
#367 opened Aug 23, 2026 by misonijnik Member 1/2 Loading…
fix(analyzer): Summary storage improvement
#365 opened Aug 20, 2026 by Saloed Contributor Draft
fix(core): Base only analysis clean
#361 opened Aug 19, 2026 by Saloed Contributor Draft
feat(docs): Add enactment pipeline
#359 opened Aug 19, 2026 by misonijnik Member Loading…
fix(analyzer): Fix alias cache
#357 opened Aug 18, 2026 by Saloed Contributor Loading…
fix(analyzer, core): Apply default get when no config at all
#356 opened Aug 18, 2026 by Saloed Contributor 5/5 Loading…
fix(core): Implement dependency tagging and resolution for Gradle and Maven
#348 opened Aug 13, 2026 by misonijnik Member 1/2 Loading…
fix(analyzer): Field based default get
#341 opened Aug 11, 2026 by Saloed Contributor Loading…
feat(core, analyzer): Add $* star operator
#340 opened Aug 11, 2026 by Saloed Contributor 1/5 Loading…
feat(docs): Enhance documentation and align messaging
#332 opened Aug 5, 2026 by misonijnik Member Loading…
ProTip! Filter pull requests by the default branch with base:main.