Summary of small problems in smartbugs installation

smartBugs

SmartBugs Is an execution framework , It aims to simplify the execution of analysis tools on smart contract data sets .
（1） One is based on Docker Mirror the plug-in system that easily adds new analysis tools ;
（2） Parallel execution of tools to speed up execution time ;
（3） An output mechanism , The way the tool outputs results can be standardized , And simplify the output process across tools .
（4） According to the requirements of the analyzed contract , Automatically detect and download the correct version of Solidity compiler .

Problems during installation

PS:smartbugs need python3.8 Version above , Because he used walrus operator := stay 3.8 The following versions will be for := Error reporting .
2022.4.4 First installation smartbugs, When smartbugs When analyzing smart contract data sets through a large number of multi-threaded pools , There will be the following problems , This causes the program to terminate unexpectedly , Contract analysis failed

multiprocessing.pool.RemoteTraceback: #  Mainly this problem 
""" Traceback (most recent call last): File "/usr/local/python3/lib/python3.8/multiprocessing/pool.py", line 125, in worker result = (True, func(*args, **kwds)) File "/usr/local/python3/lib/python3.8/multiprocessing/pool.py", line 48, in mapstar return list(map(*args)) File "smartBugs.py", line 45, in analyse raise e File "smartBugs.py", line 31, in analyse analyse_files(tool, file, logs, output_folder, sarif_outputs, output_version, import_path) File "/blockchain/smartbug/smartbugs/src/docker_api.py", line 233, in analyse_files if solc_compiler is not None: UnboundLocalError: local variable 'solc_compiler' referenced before assignment """

The above exception was the direct cause of the following exception:

Traceback (most recent call last):
  File "smartBugs.py", line 176, in <module>
    exec_cmd(args)
  File "smartBugs.py", line 147, in exec_cmd
    pool.map(analyse, tasks)
  File "/usr/local/python3/lib/python3.8/multiprocessing/pool.py", line 364, in map
    return self._map_async(func, iterable, mapstar, chunksize).get()
  File "/usr/local/python3/lib/python3.8/multiprocessing/pool.py", line 768, in get
    raise self._value
UnboundLocalError: local variable 'solc_compiler' referenced before assignment

2022.6.21 smartBugs Our developers fixed this bug, But when reinstalling , I use the compressed package to decompress and install smartbugs, Not through git clone, The program can run , But no results , stay result.log The following questions are shown in standard_init_linux.go:178: exec user process caused "no such file or directory" Find out through various ways , Most blogs give the following explanations ：

golang docker build  After making the input item, run and report an error 
 The reason for this problem is that the compiling environment is different from the running environment , There may be dynamic library dependencies 
１． Default go Use static links , stay docker Of golang Dynamic compilation is used by default in the environment .
２． If you want to use docker compile +alpine Deploy , You can disable cgoCGO_ENABLED=0 To solve .
３． If you want to use cgo Can pass go build --ldflags "-extldflags -static"  To make the gcc Use static compilation .

in general , It may be the problem of dynamic library dependency , But I don't know how to change it , The explanation I give here ：

（1） I download it locally windows After compression, upload to linux On , because windows and linux Inconsistencies between lead to 
（2） When we decompress with the compressed package , Maybe it's useless git clone  So some dynamic configuration problems are missing , It's causing this problem 

Give solutions , Use git clone https://github.com/smartbugs/smartbugs.git Download and install , But in git clone The following errors will occur during the process ：

First of all ： This method useless , as follows ：
Change to ：git clone git://github.com/xxx.git
Causes of the following problems ：
Remote and convenient HTTP Maximum number of cache bytes when transferring request data , by default 1M byte , By default, it can meet most requests . And when git clone It's a big file , You need to turn it up git Cache value
Solution ：
sudo git config --global http.postBuffer 5242880000