Closed Min-Ho-Kim closed 8 years ago
The DexterResultManager should delete old files when there are the result from the same source file. This will cause improving performance when there are many the static analysis results from the same file which are not sent to Dexter Server.
The DexterResultManager should delete old files when there are the result from the same source file. This will cause improving performance when there are many the static analysis results from the same file which are not sent to Dexter Server.