Skip to content
This repository has been archived by the owner on Apr 25, 2021. It is now read-only.

Threat: Ability to deference and access uninitialized pointers #6

Open
AjaniBilby opened this issue Jul 13, 2020 · 1 comment
Open
Labels
bug Something isn't working

Comments

@AjaniBilby
Copy link
Member

Due to the lack of flow state analysis the compiler currently does not check the initialisation state of a variable before it interacts with it. Hence you can dereference and attempt to read the value of an uninitialized pointer which results in a segfault due to out of bounds memory access

@AjaniBilby AjaniBilby self-assigned this Jul 13, 2020
@AjaniBilby AjaniBilby added the invalid This doesn't seem right label Jul 13, 2020
@AjaniBilby AjaniBilby added bug Something isn't working and removed invalid This doesn't seem right labels Jul 18, 2020
@AjaniBilby
Copy link
Member Author

This will be fixed later once flow state analysis is implemented

@AjaniBilby AjaniBilby removed their assignment Jul 29, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant