* TODO vulnerable sample, jedis

This commit is contained in:
Michael Hohn
2025-07-08 17:45:27 -07:00
committed by =Michael Hohn
parent e8426847f4
commit 3324221c8b

View File

@@ -183,10 +183,7 @@
=sqlite-jdbc-3.36.0.1.jar=, so we can use it to illustrate modeling on a smaller
example.
* Modeling jedis as dependency
Running the model editor a jedis db models jedis dependencies; we need jedis
/as/ dependency to model it.
* TODO Modeling jedis as dependency
Using the
- model as depedency option
the query run by model editor is
@@ -337,10 +334,12 @@
These files indicate active use of injection-related taint tracking in the C++ suite as well.
* TODO for java, the sqltainted query will find the sink, not the source yet.
* TODO vulnerable sample
* TODO vulnerable sample, jedis
Running the model editor a jedis db models jedis dependencies; we need jedis
/as/ dependency to model it.
* TODO vulnerable sample, sqlite
For .eval() to show in a query, it has to be used in an application. So we
modify src-sqlite/AddUser.java for jedis.