Skip to content

add new models and the v3 report #8

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
yimin-zhao wants to merge 1 commit into
base: master
Choose a base branch
from
Open

add new models and the v3 report #8

yimin-zhao wants to merge 1 commit into from

Conversation

@yimin-zhao
Copy link
Contributor

@yimin-zhao yimin-zhao commented Apr 19, 2018

  • Add several models similar to kmalloc/kfree.
  • This time I disabled liveness checker and skipped the analysis for tools/ directory.
  • No new discoveries, but it filter out the unnecessary reports.

@bulwahn
Copy link
Owner

bulwahn commented Apr 19, 2018

Looks good. I will ask Ozan to reproduce your results in bug.txt with the scripts that he is providing in the other pull request #7. Possibly we then split the three changes you did in three result runs, so that we can see the effect of each change in isolation.

@yimin-zhao
Copy link
Contributor Author

yimin-zhao commented Apr 19, 2018

Yes, infer analyze --no-liveness wil disable DEAD_STORE report plus add tools to .inferconfig. These are what I did.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@yimin-zhao @bulwahn