Skip to content
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.

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

Explicit write to address 0 not flagged #8

Open
rokopt opened this issue Oct 1, 2020 · 0 comments
Open

Explicit write to address 0 not flagged #8

rokopt opened this issue Oct 1, 2020 · 0 comments

Comments

@rokopt
Copy link

rokopt commented Oct 1, 2020

Today I analyzed the following branch:

https://github.com/rokopt/stellar-core/tree/muse-dev-experiments

With the following results:

https://console.muse.dev/result/rokopt/stellar-core/01EKJR98Y8YSJBQDV5J6PGRHBN?tab=results

I made that branch so that I could introduce a bug to try to make sure I'd get some analysis output:

    *((char*)NULL) = '0';

However, it looks to me as though the analyzer didn't complain.

Since it's impossible to catch all bugs (thanks, Turing!), what "should" be caught is bound to be a judgment call; I figured I'd file this as one because it strikes me as sufficiently overt that you might want to know it wasn't detected.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant