JS: Add note and debugging and exploration

This commit is contained in:
Asger Feldthaus
2020-02-24 11:49:54 +00:00
parent ffeda7f45a
commit 647a3d3a60
3 changed files with 5 additions and 3 deletions

View File

@@ -8,8 +8,8 @@
*
* Data-flow exploration cannot be used with configurations depending on other configurations.
*
* NOTE: This library should only be used for debugging, not in production code. Backward
* exploration in particular does not scale on non-trivial code bases and hence is of limited
* NOTE: This library should only be used for debugging and exploration, not in production code.
* Backward exploration in particular does not scale on non-trivial code bases and hence is of limited
* usefulness as it stands.
*/

View File

@@ -8,7 +8,7 @@
*
* Data-flow exploration cannot be used with configurations depending on other configurations.
*
* NOTE: This library should only be used for debugging, not in production code.
* NOTE: This library should only be used for debugging and exploration, not in production code.
*/
import javascript

View File

@@ -18,6 +18,8 @@
* and function.getName() = "targetFunction"
* select invoke, invoke, function, "Call path to 'targetFunction'"
* ```
*
* NOTE: This library should only be used for debugging and exploration, not in production code.
*/
import javascript
private import DataFlow