Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / typetools/checker-framework issues and pull requests

#6674 - Non-Empty Checker

Pull Request - State: open - Opened by mernst 3 months ago

#6673 - Add "compile" target

Pull Request - State: closed - Opened by mernst 3 months ago

#6672 - Formatter Checker: ignore literals in type argument inference.

Pull Request - State: closed - Opened by smillst 3 months ago

#6671 - Type argument inference failure with throws

Issue - State: open - Opened by smillst 3 months ago - 3 comments

#6670 - Update ubuntu Docker tag to v24

Pull Request - State: closed - Opened by renovate[bot] 3 months ago - 1 comment

#6669 - Update ubuntu Docker tag to mantic-20240530

Pull Request - State: closed - Opened by renovate[bot] 3 months ago - 1 comment

#6668 - Update docker images with jtreg7, etc.

Pull Request - State: closed - Opened by mernst 3 months ago

#6666 - Spurious resource leak type.argument error on uses of `method(SomeClass.class)`

Issue - State: open - Opened by Calvin-L 4 months ago - 1 comment
Labels: ResourceLeakChecker

#6665 - Add `graphviz` to list of dev dependencies for macOS

Pull Request - State: closed - Opened by jyoo980 4 months ago

#6664 - Compilation failure in checker-framework code since update to 3.43.0

Issue - State: open - Opened by pSub 4 months ago - 5 comments
Labels: crash

#6663 - False positive with captured wildcards

Issue - State: open - Opened by smillst 4 months ago

#6662 - Improve Javadoc for `getAnnotationFromJavaExpression`.

Pull Request - State: closed - Opened by smillst 4 months ago

#6661 - Boolean variables in dataflow

Pull Request - State: open - Opened by smillst 4 months ago - 2 comments

#6659 - Define `TreeUtils.fieldsFromClassTree()`

Pull Request - State: closed - Opened by mernst 4 months ago

#6658 - Non-Empty Checker

Pull Request - State: open - Opened by mernst 4 months ago - 2 comments

#6657 - Fix WPI Non-Termination Issue with @UnknownInitialization Annotations

Pull Request - State: open - Opened by erfan-arvan 4 months ago - 2 comments

#6656 - Non-Empty Checker + Optional Checker

Pull Request - State: open - Opened by mernst 4 months ago - 2 comments

#6655 - Added a Tree argument to AnnotatedTypes.adaptParameters()

Pull Request - State: closed - Opened by smillst 4 months ago

#6654 - Add comment to test case.

Pull Request - State: closed - Opened by smillst 4 months ago - 1 comment

#6652 - Crash in 3.44.0 lambda type inference

Issue - State: open - Opened by lcahmu 4 months ago
Labels: crash

#6651 - Rename FlowExpression to JavaExpression in tests.

Pull Request - State: closed - Opened by smillst 4 months ago

#6650 - Make it so that you can tell which test failed.

Pull Request - State: closed - Opened by smillst 4 months ago

#6649 - Combine isVarArg util methods.

Pull Request - State: closed - Opened by smillst 4 months ago

#6648 - Update to JavaParser 3.26.0

Issue - State: open - Opened by msridhar 4 months ago - 2 comments

#6647 - Don't use `-XDrawDiagnostics` in testing framework

Pull Request - State: closed - Opened by mernst 4 months ago

#6645 - Update plugin net.ltgt.errorprone to v4

Pull Request - State: closed - Opened by renovate[bot] 4 months ago - 1 comment

#6644 - False positive with exhaustive switch over enum type

Issue - State: closed - Opened by msridhar 4 months ago - 1 comment
Labels: False Positive (false warning or imprecision)

#6643 - Update versions.errorprone to v2.28.0

Pull Request - State: closed - Opened by renovate[bot] 4 months ago

#6640 - Update versions.autoValue to v1.11.0

Pull Request - State: closed - Opened by renovate[bot] 4 months ago

#6639 - Update dependency gradle to v8.8

Pull Request - State: closed - Opened by renovate[bot] 4 months ago

#6638 - Use instantiation of inference variable.

Pull Request - State: closed - Opened by smillst 4 months ago

#6637 - Add passing test case for Issue 6636

Pull Request - State: closed - Opened by smillst 4 months ago

#6634 - Use camelCase for "CFG"

Pull Request - State: closed - Opened by mernst 4 months ago - 1 comment

#6633 - Name nodes `n` rather than `t`

Pull Request - State: closed - Opened by mernst 4 months ago

#6632 - Preprocess unicode escapes when parsing using JavaParser

Pull Request - State: closed - Opened by kelloggm 4 months ago - 3 comments

#6631 - Compiler Crash on Parsing Specific Java Program

Issue - State: closed - Opened by iamsanjaymalakar 4 months ago - 10 comments
Labels: crash

#6630 - Compiler exception due to mismatch between JavaParser and javac

Issue - State: closed - Opened by iamsanjaymalakar 4 months ago - 4 comments
Labels: bug

#6629 - Problem with dataflow inside a lambda during type argument inference

Issue - State: open - Opened by roded 4 months ago - 6 comments

#6628 - Add a location to BugInCF

Pull Request - State: closed - Opened by smillst 4 months ago

#6627 - Use `escapeString()` instead of `format()`

Pull Request - State: closed - Opened by mernst 4 months ago

#6626 - Documentation in `GenericAnnotatedTypeFactory`

Pull Request - State: closed - Opened by mernst 4 months ago

#6625 - Make worklist more efficient

Pull Request - State: closed - Opened by mernst 4 months ago

#6624 - Cache the result of `AbstractAnalysis.getResult()`

Pull Request - State: closed - Opened by mernst 4 months ago

#6623 - Performance regression in 3.43.0 with nested streams

Issue - State: open - Opened by danthe1st 4 months ago - 1 comment
Labels: Performance

#6622 - Rename `storesFrom` to `storesFromId`

Pull Request - State: closed - Opened by mernst 4 months ago

#6621 - Code simplifications

Pull Request - State: closed - Opened by mernst 4 months ago

#6620 - Crash with bad CFGVisualizer `outdir=`

Issue - State: open - Opened by mernst 4 months ago

#6619 - How to output verbose CFGs

Pull Request - State: closed - Opened by mernst 4 months ago

#6618 - When verbose, always output resultValue

Pull Request - State: closed - Opened by mernst 4 months ago

#6617 - Optional Checker: Move code to addComputedTypeAnnotations.

Pull Request - State: closed - Opened by smillst 4 months ago

#6616 - Improve documentation for `AnnotatedTypeFactory#logGat`

Pull Request - State: closed - Opened by jyoo980 4 months ago

#6615 - Clean ups.

Pull Request - State: closed - Opened by smillst 4 months ago

#6614 - Correct handling of qualifier only constraints

Pull Request - State: closed - Opened by smillst 4 months ago

#6612 - Run CI for collections of resources

Pull Request - State: open - Opened by skehrli 4 months ago - 1 comment

#6611 - Implement `JavaExpression.SuperReference`

Pull Request - State: closed - Opened by jyoo980 4 months ago - 2 comments

#6610 - Rename `FoundLocalException` => `FoundLocalVarException`

Pull Request - State: closed - Opened by mernst 4 months ago

#6609 - Add Delegation Checker

Pull Request - State: open - Opened by jyoo980 4 months ago

#6608 - Use `recreateTransferResult()` rather than re-implementing it

Pull Request - State: closed - Opened by mernst 4 months ago

#6607 - Add Non-Empty Checker

Pull Request - State: closed - Opened by jyoo980 4 months ago - 2 comments

#6606 - Minor improvements

Pull Request - State: closed - Opened by mernst 4 months ago

#6605 - Add `NodeUtils.isMethodInvocation()` that takes a list of methods

Pull Request - State: closed - Opened by mernst 4 months ago

#6604 - Output the result value in CFG visualization

Pull Request - State: closed - Opened by mernst 4 months ago - 1 comment

#6603 - Minor improvements

Pull Request - State: closed - Opened by mernst 4 months ago

#6602 - Simplify `FunctionalInterfaceNode.toString()`

Pull Request - State: closed - Opened by mernst 4 months ago

#6600 - Fix typos

Pull Request - State: closed - Opened by mernst 4 months ago

#6599 - Use `System.lineSeparator()` rather than `\n`

Pull Request - State: closed - Opened by mernst 4 months ago

#6597 - Implement method-level support for `skipDefs` flag

Pull Request - State: closed - Opened by jyoo980 5 months ago - 1 comment

#6591 - Implement `JavaExpression` for a `FunctionalInterfaceNode`

Pull Request - State: closed - Opened by jyoo980 5 months ago - 8 comments

#6587 - Parallelize `make` invocations

Pull Request - State: closed - Opened by mernst 5 months ago

#6388 - Error: "StructuralEqualityComparer: unexpected combination" when upgrading to 3.42.0

Issue - State: closed - Opened by kennknowles 9 months ago - 4 comments
Labels: bug, crash

#6382 - False positive NonNull requirement for generic input

Issue - State: closed - Opened by spacether 9 months ago - 1 comment

#6378 - Checker framework crashes, how do I prevent the crash?

Issue - State: closed - Opened by spacether 10 months ago - 1 comment

#6376 - RLC: warn when `@MustCallAlias` is written on a return type but no parameter type, and vice versa

Issue - State: open - Opened by msridhar 10 months ago - 7 comments
Labels: good first issue, ResourceLeakChecker

#6375 - Update an RLC regression test

Pull Request - State: closed - Opened by msridhar 10 months ago

#6373 - Performance regression after 3.34.0

Issue - State: open - Opened by cushon 10 months ago

#6372 - Fix Issue 6317

Pull Request - State: closed - Opened by msridhar 10 months ago - 1 comment

#6370 - Add support for opt.map(type::method) pattern.

Pull Request - State: closed - Opened by smillst 10 months ago - 3 comments

#6369 - ReportChecker: Fix array access crash.

Pull Request - State: closed - Opened by smillst 10 months ago

#6368 - Fix guava-assertions.astub.

Pull Request - State: closed - Opened by smillst 10 months ago

#6367 - Add support for OptionalDouble, OptionalInt, OptionalLong

Pull Request - State: closed - Opened by smillst 10 months ago

#6367 - Add support for OptionalDouble, OptionalInt, OptionalLong

Pull Request - State: open - Opened by smillst 10 months ago

#6366 - Add Optional method annotations.

Pull Request - State: closed - Opened by smillst 10 months ago

#6366 - Add Optional method annotations.

Pull Request - State: closed - Opened by smillst 10 months ago

#6365 - Add AssertMethod annotations for Guava classes to stubfiles.

Pull Request - State: closed - Opened by smillst 10 months ago - 1 comment