HomePhabricator

[analyzer] This implements potential undefbehavior.ZeroAllocDereference checker.

Description

[analyzer] This implements potential undefbehavior.ZeroAllocDereference checker.

TODO: support realloc(). Currently it is not possible due to the present realloc() handling. Currently RegionState is not being attached to realloc() in case of a zero Size argument.

Details

Committed
ayartsevApr 14 2015, 7:18 AM
Parents
rL234888: Fix handling of the executable arg which contains spaces (MI)
Branches
Unknown
Tags
Unknown