config.ini

[synoptic]
; Folder to store all generated files
WorkingDir = /mnt/shared/test/wolfssh
; Force overwriting of existing files
ForceOverwrite = yes
; Display debug messages
Debug = yes
; Create a FSM and CFG PDF representation in %(WorkingDir)s
ExportPdf = yes
; Number of analysis iterations
Iterations = 1

[binary]
; Main binary to analyze
Path = /mnt/shared/samples/proftpd-1.3.8/proftpd
; Args to pass to the binary during execution
Args = -c /mnt/shared/samples/proftpd-1.3.8/proftpd.conf -n -X -d 10
; Binary working directory, if any
Cwd = /mnt/shared/samples/wolfssh-1.4.12/
; 64-bit or 32-bit executable file
BitMode = 64-bit
; Binary requires privileges?
Privileges = yes
; Binary modules to analyze, comma separated (besides the main binary)
Modules = /home/xubuntu/shared/samples/wolfssh-1.4.12/src/.libs/libwolfssh.so.8

[servertracer]
; Pin main executable path
Pin = /opt/pin-3.25/pin
; Absolute path or relative path to Synoptic root folder
PintoolPath = synoptic/servertracer/obj-intel64/server_tracer.so

[symbolic-analysis]
; Enable symbolic analysis
Enable = no
; Either angr or binsec
Engine = angr
; Symbolic exploration timeout (in seconds), timeout is reset after each result found
Timeout = 5

[replay]
; Enable replay capabilities
Enable = no
; Server IP
Server = 127.0.0.1
; Server listening port
Port = 21
; Server transport layer, either TCP or UDP
TransportLayer = TCP
; Delay between messages to be sent (in milliseconds)
Delay = 200
; Send messages obtained through symbolic execution
SymbolicMessages = yes