Method build

src/main/java/pascal/taie/WorldBuilder.java:43–43

Builds a new instance of World and make it globally accessible through static methods of World. TODO: remove analyses. @param options the options @param analyses the analyses to be executed

(Options options, List<AnalysisConfig> analyses)

     * @param analyses the analyses to be executed
     */
    void build(Options options, List<AnalysisConfig> analyses);
}