aviatesk/JET.jl

View on GitHub

A code analyzer for Julia. No need for additional type annotations.

Stars: 882
Forks: 43
Open beginner issues: 0
Indexed issues: 79
Avg merge: 1d 1h
Merged PRs (30d): 4

Dominant language: Julia
License: MIT
Last GitHub push: Sep 13, 2026
Latest indexed: Sep 14, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: good first issue

Open All

79 open issues indexed

Real-world stress test Open

aviatesk/JET.jl#105 · 6 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Handle multithreading Open

abstract interpretation

aviatesk/JET.jl#114 · 6 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
add report pass from `abstract_iteration` Open

abstract interpretation

aviatesk/JET.jl#135 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
static checker for numerical instability Open

aviatesk/JET.jl#141 · 6 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
[inference] relational anaysis Open

abstract interpretation

aviatesk/JET.jl#153 · 2 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026
Possible bug? Open

aviatesk/JET.jl#228 · 4 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026
add a mode to look for remaining `BoundsError` Open

optimization analysis

aviatesk/JET.jl#264 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026
Code analysis ideas Open

aviatesk/JET.jl#266 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
dead code detection Open

aviatesk/JET.jl#270 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Sound mode reports errors even when explicitly caught Open

abstract interpretation

aviatesk/JET.jl#299 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Report short path format Open

aviatesk/JET.jl#302 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Detect required changes to version number in accordance with semantic versioning Open

aviatesk/JET.jl#319 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Idea: "narrowing" analysis Open

aviatesk/JET.jl#327 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Option to suppress inference failure with world-splitting Open

aviatesk/JET.jl#331 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Add ability to silence error reports via configuration comments Open

aviatesk/JET.jl#346 · 3 comments · 4 reactions · 0 assignees · Indexed Sep 14, 2026
`rand` dispatch example is now faulty Open

aviatesk/JET.jl#359 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Proposal: Automatically test generic methods with concrete types Open

aviatesk/JET.jl#383 · 3 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026
Inconsistent output of `@report_call` vs. `@report_opt` in terms of detected expression Open

aviatesk/JET.jl#389 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026
False positive: Boundcheck may throw in @inbounds function Open

aviatesk/JET.jl#409 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026
JET does not know that concatenated vectors results in a vector? Open

aviatesk/JET.jl#413 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Feature request: Easier to use with SnoopPrecompile Open

aviatesk/JET.jl#424 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Propagate conditional field type of mutable struct Open

aviatesk/JET.jl#478 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
JET errors on interface definitions (as it should) - what to do? Open

aviatesk/JET.jl#495 · 0 comments · 2 reactions · 0 assignees · Indexed Sep 14, 2026
Add documentation for OptimizationFailureReport Open

documentation

aviatesk/JET.jl#502 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Add a hook to analyze calls that appear at runtime Open

aviatesk/JET.jl#505 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
False positive for indexing Union{Tuple{},Vector{T}} Open

abstract interpretation

aviatesk/JET.jl#509 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
List of Base reports Open

good first issue

aviatesk/JET.jl#512 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Support JET annotations in source code Open

aviatesk/JET.jl#515 · 5 comments · 5 reactions · 0 assignees · Indexed Sep 14, 2026
False positive: accessing variables from other, possibly undefined modules Open

abstract interpretation error analysis

aviatesk/JET.jl#516 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 14, 2026
Support package extensions Open

aviatesk/JET.jl#525 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Misattributed instability due to recursion Open

aviatesk/JET.jl#537 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Feature request: Catch atomic errors Open

abstract interpretation

aviatesk/JET.jl#538 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Handle version of JET when testing on several versions of Julia Open

aviatesk/JET.jl#546 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 14, 2026
JET macros don't show up in VSCode problems when they end with a semicolon Open

aviatesk/JET.jl#552 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Analyzing GPU overlays leads to crashes Open

aviatesk/JET.jl#556 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Indexing by non-empty mask Open

aviatesk/JET.jl#558 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Possible LinearAlgebra false positive Open

aviatesk/JET.jl#562 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
false positive: InferenceErrorReport on @kwdef parametrized struct Open

aviatesk/JET.jl#563 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
false positive: BoundsError on @view on CircularBuffer Open

aviatesk/JET.jl#564 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Optionally formatting output for machine-readability? Open

aviatesk/JET.jl#569 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026
Being able to get actionable output and issue details out of JET Open

aviatesk/JET.jl#572 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
[Feature Request]: System for writing hints to JET into package code Open

aviatesk/JET.jl#577 · 6 comments · 5 reactions · 0 assignees · Indexed Sep 14, 2026
UndefVarError not caught in if/else statement Open

error analysis

aviatesk/JET.jl#596 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
JET misses failed inference (a reproducer) Open

aviatesk/JET.jl#608 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
JET doesn't analyze expression given to `@btime` Open

aviatesk/JET.jl#609 · 5 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
false positive MethodErrorReport Base.@kwdef with non used parameter Open

aviatesk/JET.jl#615 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
@test_opt without the printing Open

aviatesk/JET.jl#617 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Ignore given function name in `JET.test_package` Open

aviatesk/JET.jl#618 · 5 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026
More readable "no method was found" messages with !Matched indication Open

aviatesk/JET.jl#620 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 14, 2026
`JET.@report_trim` or similar to find issues that would prevent trimming Open

aviatesk/JET.jl#651 · 2 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026

aviatesk/JET.jl

Get new issues in your inbox