joern/src/tools/data_flow/Function_sets_parameter.java
// Checks if a symbol is among the uses of a node
Checks if a symbol is among the uses of a node
Checks if a symbol is among the uses of a node
public static Boolean node_uses_symbol(Joern_db joern_db, Long node_id, Long symbol_id)
    {
    List<Node> ergo = Pipeline.v(node_id).uses().has("id", symbol_id.toString()).to_list();
     return !ergo.isEmpty();
    }
public static Boolean node_uses_symbol ( Joern_db joern_db , Long node_id , Long symbol_id ) { List < Node > ergo = Pipeline . v ( node_id ) . uses ( ) . has ( "id" , symbol_id . toString ( ) ) . to_list ( ) ; return ! ergo . isEmpty ( ) ; }
Checks if a symbol is among the uses of a node
Checks if a symbol is among the uses of a node