Issue:
When the right smart contract files are uploaded with also some extra files (which are not included in any file of the contract), the smart contract is verified successfully.

Solution:
Files which are not included in the smart contract shouldn't be part of the final output. This can be achieved by parsing all the uploaded files and by keeping the entry file and all the files which are included in at least one file.
I see two possible ways to solve this:

1. Delete the extra files before saving them in the database, could be done at this step:
   

   smart-contract-verifier/apps/scv-gateway/src/contracts/contracts.controller.ts

   Line 203 in e7877f7

   return this.contractsService.submit(

2. Keep the save process as it is, but check which files should not be included in the verification process. Could be done at this step:
   

   smart-contract-verifier/apps/scv-worker/src/verification/verification.service.ts

   Line 33 in e7877f7

   // WRITE CONTRACT FILES FOR VERIFICATION

   
   And if the verification is successful the database should be updated and the extra files should be deleted

For the second solution this existing utility could be used: https://github.com/aeternity/aepp-sdk-js/blob/develop/src/contract/compiler/getFileSystem.ts
Otherwise I guess it should be adapter for 1) to use strings instead of actual files.