Nora Dimitrijević a4ac0392a6 C++/OverflowDestination

2025-10-28 09:41:32 +01:00

..

aliasAnalysisWarning.inc.qhelp

…

callGraphWarning.inc.qhelp

…

dataFlowWarning.inc.qhelp

…

DeadCodeCondition.cpp

…

DeadCodeCondition.qhelp

…

DeadCodeCondition.ql

…

DeadCodeFunction.cpp

…

DeadCodeFunction.qhelp

…

DeadCodeFunction.ql

…

DeadCodeGoto.cpp

…

DeadCodeGoto.qhelp

…

DeadCodeGoto.ql

…

DescriptorMayNotBeClosed.cpp

…

DescriptorMayNotBeClosed.qhelp

…

DescriptorMayNotBeClosed.ql

…

DescriptorNeverClosed.cpp

…

DescriptorNeverClosed.qhelp

…

DescriptorNeverClosed.ql

…

DoubleFree.qhelp

…

DoubleFree.ql

…

DoubleFreeBad2.cpp

…

DoubleFreeBad.cpp

…

DoubleFreeGood2.cpp

…

DoubleFreeGood.cpp

…

FileClosed.qll

…

FileMayNotBeClosed.cpp

…

FileMayNotBeClosed.qhelp

…

FileMayNotBeClosed.ql

…

FileNeverClosed.cpp

…

FileNeverClosed.qhelp

…

FileNeverClosed.ql

…

GlobalUseBeforeInit.cpp

…

GlobalUseBeforeInit.qhelp

…

GlobalUseBeforeInit.ql

…

InconsistentNullnessTesting.cpp

…

InconsistentNullnessTesting.qhelp

…

InconsistentNullnessTesting.ql

…

IncorrectCheckScanf.cpp

…

IncorrectCheckScanf.qhelp

…

IncorrectCheckScanf.ql

…

InitialisationNotRun.cpp

…

InitialisationNotRun.qhelp

…

InitialisationNotRun.ql

…

LargeParameter.cpp

…

LargeParameter.qhelp

…

LargeParameter.ql

…

LateNegativeTest.cpp

…

LateNegativeTest.qhelp

…

LateNegativeTest.ql

…

LoopBounds.qll

…

MemoryFreed.qll

…

MemoryMayNotBeFreed.cpp

…

MemoryMayNotBeFreed.qhelp

…

MemoryMayNotBeFreed.ql

…

MemoryMayNotBeFreedGood.cpp

…

MemoryNeverFreed.cpp

…

MemoryNeverFreed.qhelp

…

MemoryNeverFreed.ql

…

MissingCheckScanf.cpp

…

MissingCheckScanf.qhelp

…

MissingCheckScanf.ql

…

MissingNegativityTest.cpp

…

MissingNegativityTest.qhelp

…

MissingNegativityTest.ql

…

MissingNullTest.cpp

…

MissingNullTest.qhelp

…

MissingNullTest.ql

…

Negativity.qll

…

NewArrayDeleteMismatch.cpp

…

NewArrayDeleteMismatch.qhelp

…

NewArrayDeleteMismatch.ql

…

NewDelete.qll

…

NewDeleteArrayMismatch.cpp

…

NewDeleteArrayMismatch.qhelp

…

NewDeleteArrayMismatch.ql

…

NewFreeMismatch.cpp

…

NewFreeMismatch.qhelp

…

NewFreeMismatch.ql

…

NotInitialised.cpp

…

NotInitialised.qhelp

…

NotInitialised.ql

…

OverflowCalculated.cpp

…

OverflowCalculated.qhelp

…

OverflowCalculated.ql

…

OverflowDestination.cpp

…

OverflowDestination.qhelp

…

OverflowDestination.ql

…

OverflowStatic.cpp

…

OverflowStatic.qhelp

…

OverflowStatic.ql

…

pointsToWarning.inc.qhelp

…

ReturnStackAllocatedObject.cpp

…

ReturnStackAllocatedObject.qhelp

…

ReturnStackAllocatedObject.ql

…

ReturnValueIgnored.cpp

…

ReturnValueIgnored.qhelp

…

ReturnValueIgnored.ql

…

ScanfChecks.qll

…

SizeCheck2.cpp

…

SizeCheck2.qhelp

…

SizeCheck2.ql

…

SizeCheck.cpp

…

SizeCheck.qhelp

…

SizeCheck.ql

…

Unused.cpp

…

Unused.qhelp

…

Unused.ql

…

UseAfterFree.cpp

…

UseAfterFree.qhelp

…

UseAfterFree.ql

…