joern/src/tools/data_flow/Find_control_flow_paths.java
// Calls it for a range of integers and returns the list of all found paths
Calls it for a range of integers and returns the list of all found paths
Calls it for a range of integers and returns the list of all found paths
public static List<List<Long>> find_all_paths_in_range(Joern_db joern_db, Long from_id, Long to_id, Long min_length, Long max_length, String edge_type) throws Exception
     {
       if(min_length < 1) throw new Exception("min_length has to be >= 1");
     List<List<Long>> all_paths = new ArrayList<>();
       for(Long i = min_length; i<max_length; ++i)
        {
        List<List<Long>> paths = find_all_paths(joern_db, from_id, to_id, i, edge_type);
          for(List<Long> p : paths)
           {
            all_paths.add(p);
           }
        }
      return all_paths;
     }
public static List < List < Long > > find_all_paths_in_range ( Joern_db joern_db , Long from_id , Long to_id , Long min_length , Long max_length , String edge_type ) throws Exception { if ( min_length < 1 ) throw new Exception ( "min_length has to be >= 1" ) ; List < List < Long > > all_paths = new ArrayList < > ( ) ; for ( Long i = min_length ; i < max_length ; ++ i ) { List < List < Long > > paths = find_all_paths ( joern_db , from_id , to_id , i , edge_type ) ; for ( List < Long > p : paths ) { all_paths . add ( p ) ; } } return all_paths ; }
Calls it for a range of integers and returns the list of all found paths
Calls it for a range of integers and returns the list of all found paths