JSS currently loads all .class files it can find below the current dir on start up. This can be very slow. Instead, we should load the .class files lazily as needed. Some relevant code in src/Verifier/Java/Codebase.hs was updated in 0b0514f2d840591869054cb1d736b84f60e4eb3e.
JSS currently loads all .class files it can find below the current dir on start up. This can be very slow. Instead, we should load the .class files lazily as needed. Some relevant code in
src/Verifier/Java/Codebase.hswas updated in 0b0514f2d840591869054cb1d736b84f60e4eb3e.