heou
heou
i found that when i finilize a database and query with taint analysis the first time,this query will work will, but after that, i query the same ql ,it wents...
thats very helpfull! thank you so much!
I've encountered another issue regarding the propagation of tainted data through arrays. I'm not sure if I've made a mistake in my query. The code I'm trying to analyze is...
thankyou, i think the problem is the "static" ,please try with following sample: ``` public class Test { public int source() { return 0; } public void sink(int x) {...
I also try following constructions : ``` import io.joern.dataflowengineoss.semanticsloader.FlowSemantic import io.shiftleft.semanticcpg.layers.LayerCreatorOptions import io.joern.dataflowengineoss.layers.dataflows.* import io.shiftleft.semanticcpg.layers.* import io.joern.dataflowengineoss.* import io.shiftleft.semanticcpg.Overlays val extraFlows = List( FlowSemantic.from( "strncpy", List((2, 1) )), FlowSemantic.from( "strncpy",...