Module Strcpy
Provides implementation classes modeling strcpy
and various similar
functions. See semmle.code.cpp.models.Models
for usage information.
Import path
import semmle.code.cpp.models.implementations.Strcpy
Imports
ArrayFunction | Provides an abstract class for accurate modeling of input and output buffers in library functions when source code is not available. To use this QL library, create a QL class extending |
DataFlow | Provides an abstract class for accurate dataflow modeling of library functions when source code is not available. To use this QL library, create a QL class extending |
NonThrowing | Provides an abstract class for modeling functions that never throw. |
SideEffect | Provides an abstract class for accurate dataflow modeling of library functions when source code is not available. To use this QL library, create a QL class extending |
Taint | Provides an abstract class for accurate taint modeling of library functions when source code is not available. To use this QL library, create a QL class extending |
Classes
StrcpyFunction | The standard function |