aviatesk / JET.jl

An experimental code analyzer for Julia. No need for additional type annotations.

https://aviatesk.github.io/JET.jl/dev/

aviatesk/JET.jl Issues

Incomplete types break JET on Julia 1.10
Updated 2 months ago
Ignore given function name in `JET.test_package`
Updated 2 months ago
@test_opt without the printing
Updated 2 months ago2
Use depth-limited type printing, from Julia 1.10
Updated 3 months ago
false positive MethodErrorReport Base.@kwdef with non used parameter
Updated 3 months ago1
false positive: InferenceErrorReport on @kwdef parametrized struct
Updated 3 months ago1
JET doesn't analyze expression given to `@btime`
Updated 3 months ago5
JET misses failed inference (a reproducer)
Updated 3 months ago
`AssertionError`: `get_binding_type` should resolve the already-defined variable type
Closed 3 months ago1
Tagbot isn't working
Closed 4 months ago3
False-positive with code using `@ccallable`
Closed 4 months ago
UndefVarError not caught in if/else statement
Updated 4 months ago
Suggestion: make `ignored_modules` a tuple of symbols, instead of a tuple of modules
Updated 4 months ago
override_precompiled_cache concurrency violation on 1.11
Closed 4 months ago1
MethodError: no method matching ⊑(::Core.Compiler.JLTypeLattice, ::Core.Compiler.MustAlias, ::Type{Array})
Closed 4 months ago2
Reconsider the necessity of `ReportPass`
Updated 4 months ago1
false negative
Closed 4 months ago1
MethodError: no method matching add_control_flow!(::BitVector, ::Core.Compiler.CFG, ::BitSet)
Updated 4 months ago1
Simple syntax error not reported by report_file
Closed 5 months ago2
JET should report dangerous indexing
Closed 5 months ago
cache system: switch to use `result.analysis_results` for caching JET analysis result once updating to v1.11
Updated 6 months ago
[Feature Request]: System for writing hints to JET into package code
Updated 6 months ago4
JET gets dispatch completely wrong in this simple case, mentioning an uninvolved package
Closed 6 months ago6
`report_package` prints "Package AbstractAlgebra not found" and reports many invalid errors afterwards
Updated 6 months ago
Being able to get actionable output and issue details out of JET
Updated 6 months ago
JET chokes on "pkgdir()"
Updated 7 months ago1
`report_package` seems to ignore `ignored_modules`
Updated 7 months ago
Optionally formatting output for machine-readability?
Updated 7 months ago
false positive: BoundsError on @view on CircularBuffer
Updated 7 months ago
Possible new false positive on Julia 1.10.0-beta2
Closed 7 months ago6
Given unexpected configuration: `annotate_types = true`
Closed 7 months ago2
ERROR: LoadError: Method overwriting is not permitted during Module precompile.
Closed 8 months ago1
Possible LinearAlgebra false positive
Updated 9 months ago
New possible error with Julia 1.10-beta2
Closed 9 months ago1
Indexing by non-empty mask
Updated 10 months ago
report_package only generates output when run in REPL
Updated 10 months ago
Analyzing GPU overlays leads to crashes
Updated 10 months ago
JET breaking on "using Module: SubModule.Constant"
Closed 10 months ago
JET macros don't show up in VSCode problems when they end with a semicolon
Updated 10 months ago
JET.jl false positive "possible error" reported on Union{Bool, Nohing}
Closed 10 months ago2
Configure printing during `test_package`
Closed 10 months ago2
`target_defined_module` does not work when `report_config` is given
Updated 10 months ago
Handle version of JET when testing on several versions of Julia
Updated a year ago1
Weird error involving potential `Missing` in union split
Closed a year ago11
Add a configuration to ignore the case when `x == y` return `missing`?
Closed a year ago1
JET doesn't find available method?
Closed a year ago1
Support package extensions
Updated a year ago3
Feature request: Catch atomic errors
Updated a year ago
Misattributed instability due to recursion
Updated a year ago
main_uuid not defined
Closed a year ago10