[zlaski/what-buffer-function] Rename references to BufferFunction to ArrayFunction.

This commit is contained in:
Ziemowit Laski
2019-09-24 17:52:34 -07:00
parent 0e432c2405
commit 7e14e2a950

View File

@@ -1,9 +1,9 @@
/**
* 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 `BufferFunction` with a characteristic
* library, create a QL class extending `ArrayFunction` with a characteristic
* predicate that selects the function or set of functions you are trying to
* model. Within that class, override the predicates provided by `BufferFunction`
* model. Within that class, override the predicates provided by `ArrayFunction`
* to match the flow within that function. Finally, add a private import
* statement to `CustomModels.qll`
*/