Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: facebook/infer
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: prosyslab/infer
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 8 commits
  • 20 files changed
  • 2 contributors

Commits on Feb 8, 2022

  1. [pulse] Add 'MustBeChildOf' attribute.

    @Jaewookim08
    Jaewookim08 committed Feb 8, 2022
    Configuration menu
    Copy the full SHA
    18b5b02 View commit details
    Browse the repository at this point in the history

  2. [pulse] Add issue type IncorrectPointerCast.

    @Jaewookim08
    Jaewookim08 committed Feb 8, 2022
    Configuration menu
    Copy the full SHA
    29afdea View commit details
    Browse the repository at this point in the history

  3. [pulse] Add a diagnostic type for incorrect pointer casts.

    @Jaewookim08
    Jaewookim08 committed Feb 8, 2022
    Configuration menu
    Copy the full SHA
    9d941c7 View commit details
    Browse the repository at this point in the history

  4. [pulse] Add functions for checking if struct pointers are cast to wro… 

    …ng type.

For some struct type tA and tB, find case where
 1. A value has a dynamic type of tA*.
 2. The value is cast to tB*.
 3. tA is not subtype of tB.
    @Jaewookim08
    Jaewookim08 committed Feb 8, 2022
    Configuration menu
    Copy the full SHA
    5ebb6d0 View commit details
    Browse the repository at this point in the history

  5. [pulse] Check for incorrect pointer casts while interpreting Load ins… 

    …truction.
    @Jaewookim08
    Jaewookim08 committed Feb 8, 2022
    Configuration menu
    Copy the full SHA
    f5b809b View commit details
    Browse the repository at this point in the history

  6. [pulse] Enable interprocedural analysis for incorrect pointer cast is… 

    …sue.
    @Jaewookim08
    Jaewookim08 committed Feb 8, 2022
    Configuration menu
    Copy the full SHA
    11cc0d2 View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2022

  1. [pulse] Include type context to IncorrectPointerCast's error message.

    @Jaewookim08
    Jaewookim08 committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    d6ca5d8 View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2022

  1. [Pulse] add option to show latent bug

    @sujin0529 @KihongHeo
    sujin0529 authored and KihongHeo committed Mar 24, 2022
    Configuration menu
    Copy the full SHA
    39dd6e5 View commit details
    Browse the repository at this point in the history
Loading