You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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:
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.
The text was updated successfully, but these errors were encountered: