6c7cf6a Remove temporary file used on the analysis process

Authored and Committed by davidcarlos 6 years ago
    Remove temporary file used on the analysis process
    
        - We had to change how a Docker container was running the
        analyzers. Because of a permission issue, the directories used
        to run the analysis, was not being removed by kiskadee. Now, the
        container will use the OS user uid to create the shared volume,
        permiting that after the analysis done, we can remove the
        directory.
        - close #32
    
        
file modified
+4 -1
file modified
+2 -2
util/dockerfiles/clang-analyzer/docker-entrypoint.sh util/dockerfiles/clang-analyzer/run-analysis.sh
file renamed
+6 -1
util/dockerfiles/frama-c/docker-entrypoint.sh util/dockerfiles/frama-c/run-analysis.sh
file renamed