Geoffrey White 444259a9ad CPP: Back out support for 'SysAllocString', as PointsTo doesn't support the free(pointer-to-pointer) pattern in 'SysReAllocString' leading to unaccaptable FPs.

2019-03-22 10:59:51 +00:00

..

config/suites

Merge pull request #1032 from xiemaisi/master-for-merge

2019-03-04 21:23:51 +00:00

ql

CPP: Back out support for 'SysAllocString', as PointsTo doesn't support the free(pointer-to-pointer) pattern in 'SysReAllocString' leading to unaccaptable FPs.

2019-03-22 10:59:51 +00:00