changes

LICENSE.txt

@@ -1,22 +0,0 @@
-
-MIT License
-
-Copyright (c) 2019 SnT,University of Luxembourg
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all
-copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-SOFTWARE.

README.md

@@ -126,27 +126,7 @@ A log file (app.log) is created after every execution of the [fixminer.sh]((pyth
    
    8. __stats__: Calculate frequency statistics of the patterns under statsactions.csv in datapath. The information is also written in app.log file.
    
-   9. __patterns__ : Export FixPatterns of APR integration under patterns folder located in datapath/
-
-
-##### Structure of the cluster folders
-```powershell
-  |--- actions                    : Action clusters
-  |------ReturnStatement          : AST Node type
-  |---------4                     : The size of the rich edit script
-  |------------0                  : 0th Action cluster of ReturnStatement of rich edit size 4
-  |--------------- filename       : 0th member of the cluster
-
-
-  |--- tokens                     : Token clusters
-  |------ReturnStatement          : AST Node type
-  |---------4                     : The size of the rich edit script
-  |------------0                  : 0th Action cluster of ReturnStatement of rich edit size 4
-  |---------------0               : 0th Token cluster of ReturnStatement of rich edit size 4 of 0th action cluster
-  |----------------- filename       : 0th member of the cluster
-
-
-```
+   7. __patterns__ : Export FixPatterns of APR integration under patterns folder located in datapath/
                                                                                                                    
    <!--
     

gumtree/gen.srcml/pom.xml

@@ -40,7 +40,7 @@
     <dependency>
         <groupId>ch.qos.logback</groupId>
         <artifactId>logback-classic</artifactId>
-        <version>1.2.0</version>
+        <version>1.1.7</version>
     </dependency>
     </dependencies>
 </project>

gumtree/gen.srcml/src/main/java/com/github/gumtreediff/gen/srcml/AbstractSrcmlTreeGenerator.java

@@ -177,6 +177,7 @@ public abstract class AbstractSrcmlTreeGenerator extends TreeGenerator {
     private void fixPos(TreeContext ctx) {
         for (ITree t : ctx.getRoot().postOrder()) {
             if (!t.isLeaf()) {
+                if(t.getType() == 0) continue;
                 //put the keywords as labels
 //                if(t.getType() == 34 || t.getType() ==37 || t.getType() ==38 || t.getType()==39 || t.getType() == 41 || t.getType()==45 || t.getType() ==55 || t.getType()==14){
 //                    t.setLabel(NodeMap_new.map.get(t.getType())+" "  +t.getLabel());

gumtree/gen.srcml/src/main/java/com/github/gumtreediff/gen/srcml/NodeMap_new.java

@@ -200,6 +200,7 @@ public class NodeMap_new {
             map.put(    197 , "message");
             map.put(    199 , "protocol_list");
             map.put(    200 , "category");
+            map.put(    201 , "clause");
 
 //
 //            map.put(1	,	"unit");

python/abstractPatch.py

@@ -52,20 +52,18 @@ delPattern = 'DEL (' + '|'.join(ast) + ')@@(.*)@AT@'
 insPattern = 'INS (' + '|'.join(ast) + ')@@(.*)@TO@ (' + '|'.join(ast) + ')@@(.*)@AT@'
 updPattern = 'UPD (' + '|'.join(ast) + ')@@(.*)@TO@(.*)@AT@'
 
-def loadPairMulti(root,clusterPath,level):
+def loadPairMulti(root,matches,level):
 
     # root = 'BreakStatement'
     logging.info(root)
-    port = REDIS_PORT
+
     # if isfile(clusterPath +"/"+root+".pickle"):
     #     return load_zipped_pickle(clusterPath +"/"+root+".pickle")
     # else:
         # redis_db = redis.StrictRedis(host="localhost", port=port, db=1)  #L1
-    if level == 'tokens':
-        redis_db = redis.StrictRedis(host="localhost", port=port, db=3)
-    else:
-        redis_db = redis.StrictRedis(host="localhost", port=port, db=2)
-    keys = redis_db.scan(0, match=root+'-*', count='100000000')
+
+
+    matches = matches[matches.pairs_key.apply(lambda x: x.startswith(root + '-'))]
     # keys = redis_db.hkeys("dump")
 
     # tuples = []
@@ -75,8 +73,7 @@ def loadPairMulti(root,clusterPath,level):
 
     # coreNumber = 1600
     # print('Core number %s' % coreNumber)
-    matches = pd.DataFrame(keys[1],columns=['pairs_key'])
-    matches['pairs_key']=matches['pairs_key'].apply(lambda x:x.decode())
+
     # matches['pairs']=matches['pairs_key'].apply(lambda x:x.split('_')[1:])
     matches['pairs']=matches['pairs_key'].apply(lambda x:x.split(root)[1].split('/')[1:])
     matches['tuples'] = matches.pairs.apply(lambda x: tuple(x))
@@ -87,7 +84,7 @@ def loadPairMulti(root,clusterPath,level):
     # matches['sizes']=matches['pairs_key'].apply(lambda x:x.split('_')[0].split('-')[1])
     matches['sizes']=matches['pairs_key'].apply(lambda x:x.split(root)[1].split('/')[0].split('-')[1])
     if level == 'tokens':
-        matches['actions']=matches['pairs_key'].apply(lambda x:x.split('/')[0].split('-')[2])
+        matches['tokens']=matches['pairs_key'].apply(lambda x:x.split('/')[0].split('-')[2])
     # if level == 'tokens':
     #     matches['actions'] = matches['pairs_key'].apply(lambda x: x.split('/')[0].split('-')[2])
     #     matches['tokens']=matches['pairs_key'].apply(lambda x:x.split('/')[0].split('-')[3])
@@ -108,6 +105,21 @@ def getMapping(pathMapping,x):
 
 
 
+def decode_redis(src):
+    if isinstance(src, list):
+        rv = list()
+        for key in src:
+            rv.append(decode_redis(key))
+        return rv
+    elif isinstance(src, dict):
+        rv = dict()
+        for key in src:
+            rv[key.decode()] = decode_redis(src[key])
+        return rv
+    elif isinstance(src, bytes):
+        return src.decode()
+    else:
+        raise Exception("type not handled: " +type(src))
 
 def cluster(clusterPath,pairsPath, level):
 
@@ -116,18 +128,34 @@ def cluster(clusterPath,pairsPath, level):
             os.makedirs(clusterPath, exist_ok=True)
             roots = listdir(pairsPath)
             roots = [i for i in roots if not i.startswith('.')]
+
+            port = REDIS_PORT
+            redis_db = redis.StrictRedis(host="localhost", port=port, db=1)
+            filenames= decode_redis(redis_db.hgetall('filenames'))
+            pairsPath = filenames
+            roots = list(set([i.split('-')[0] for i in filenames.keys()]))
+            if level == 'tokens':
+                redis_db = redis.StrictRedis(host="localhost", port=port, db=3)
+            else:
+                redis_db = redis.StrictRedis(host="localhost", port=port, db=2)
+
+
+
+            keys = redis_db.hkeys("compared")
+            compared = pd.DataFrame(keys, columns=['pairs_key'])
+            compared['pairs_key'] = compared['pairs_key'].apply(lambda x: x.decode())
             # roots = [rootType]
             # parallelRun(loadPairMulti,roots,clusterPath)
             for root in roots:
-                matches = loadPairMulti(root,clusterPath,level)
+                matches = loadPairMulti(root,compared,level)
                 sizes = matches['sizes'].unique().tolist()
                 for s in sizes:
                     match = matches[matches['sizes'] == s]
 
                     if level == 'tokens':
-                        actions = match['actions'].unique().tolist()
+                        actions = match['tokens'].unique().tolist()
                         for action in actions:
-                            match = match[match['actions'] == action]
+                            match = match[match['tokens'] == action]
                             clusterCore(clusterPath,  level, match, pairsPath, root, s,action)
                     # elif level == 'tokens':
                     #     actions = match['actions'].unique().tolist()
@@ -162,21 +190,24 @@ def clusterCore(clusterPath, level, match, pairsPath, root, s,action ,token=''):
         logging.info('Cluster size %d',len(subgraph.nodes()))
         cluster.append(subgraph.nodes())
     cluster
-    pathMapping = dict()
-    if level == 'tokens':
-        indexFile = join(pairsPath, root, s,action+'.index')
-    elif level == 'actions':
-        indexFile = join(pairsPath, root, s + '.index')
-    # else:
-    #     indexFile =join(pairsPath, root, s,action,token+'.index')
-    df = pd.read_csv(indexFile, header=None, usecols=[0, 1], index_col=[0])
-    pathMapping = df.to_dict()
+    # pathMapping = dict()
+    # if level == 'tokens':
+    #     indexFile = join(pairsPath, root, s,action+'.index')
+    # elif level == 'actions':
+    #     indexFile = join(pairsPath, root, s + '.index')
+    # # else:
+    # #     indexFile =join(pairsPath, root, s,action,token+'.index')
+    # df = pd.read_csv(indexFile, header=None, usecols=[0, 1], index_col=[0])
+    # pathMapping = df.to_dict()
 
     workList = []
     for idx, clus in enumerate(cluster):
         logging.info('exporting cluster %s %s %s %d', root,s,action,idx)
         for f in clus:
-            dumpFile = pathMapping[1][int(f)]
+            # redis_db = redis.StrictRedis(host="localhost", port=6399, db=1)
+            # dumpFile = redis_db.hget("filenames",root+'-'+s+'-'+f)
+            dumpFile = pairsPath[root+'-'+s+'-'+f]
+            # dumpFile = pathMapping[1][int(f)]
 
             t = dumpFile,root,level,clusterPath,s,action,token,idx
             workList.append(t)
@@ -184,33 +215,40 @@ def clusterCore(clusterPath, level, match, pairsPath, root, s,action ,token=''):
     parallelRun(dumpFilesCore,workList)
     # for wl in workList:
     #     dumpFilesCore(wl)
-    # dumpFilesCore(('hive_d65d5c_96c1dc_ql#src#gen#protobuf#gen-java#org#apache#hadoop#hive#ql#io#orc#OrcProto.txt_31', 'ReturnStatement', 'tokens', '/Users/anil.koyuncu/projects/richedit-all/enhancedASTDiff/python/data/tokens', '3', '1', '0', 10))
+    # dumpFilesCore(('linux_4844f5_c5f13d_sound#pci#hda#patch_ca0132.c.txt_0', 'decl_stmt', 'actions', '/Users/anilkoyuncu/projects/fixminer-data/actions', '14', '', '', 19))
 
 
 def dumpFilesCore(t):
 
     try:
         dumpFile, root, level, clusterPath, s, action, token, idx = t
-        split = dumpFile.split('_')
-        project = split[0]
-        filename = "_".join(split[1:-1])
+        project, _ ,fileName = re.split('_[0-9a-f]{6,40}', dumpFile,maxsplit=2)
+        prev, rev = re.findall('_[0-9a-f]{6,40}', dumpFile)[:2]
+
+        prev = prev.replace('_','')
+        rev = rev.replace('_','')
+        fileName, hunk = fileName.split('.txt_')
+        # split = dumpFile.split('_')
+        # project = split[0]
+        # filename = "_".join(split[1:-1])
+        filename = prev + '_'+ rev + fileName + '.txt'
         filePath = join(DATASET, project, 'DiffEntries', filename)
 
         key = root + '/'+s+'/'+dumpFile
         jdk8 = os.environ["JDK8"]
         # cmd = "JAVA_HOME='"+jdk8+"' java -jar "+ join(DATA_PATH,'FixPatternMiner-1.0.1.jar') + " " + join(DATA_PATH,'app.properties')+" PATTERN " +key
 
-        if level == 'tokens':
-            clusterSavePath = join(clusterPath, root, s, action, str(idx))
-        else:
-            clusterSavePath = join(clusterPath, root, s, str(idx))
+        clusterSavePath = join(clusterPath, root, s, str(idx))
         os.makedirs(clusterSavePath, exist_ok=True)
         shutil.copy(filePath,join(clusterSavePath,dumpFile))
         # with open(join(clusterSavePath, dumpFile), 'w', encoding='utf-8') as writeFile:
         #     writeFile.write(lines)
 
-
-
+        # with open(join(clusterSavePath,dumpFile),'r') as readFile:
+        #     fileContent = readFile.read()
+        #
+        # with open(join(clusterSavePath,dumpFile + "_" + hunk),'w') as writeFile:
+        #     writeFile.write(re.split(r"@@\s\-\d+,*\d*\s\+\d+,*\d*\s@@", fileContent)[int(hunk)+1])
         clusterSavePath = ''
         # if level == 'shapes':
         #     clusterSavePath = join(clusterPath, root,s, str(idx))

python/common/commons.py

@@ -276,7 +276,7 @@ def shellGitCheckout(cmd,timeout =600,enc='utf-8'):
             logging.warning(cmd +'\t'+str(t))
     return output,errors
 
-def callSpinfer(cmd,timeout =600,enc='utf-8'):
+def callSpinfer(cmd,timeout =900,enc='utf-8'):
     output = ''
     errors = ''
     # logging.debug(cmd)
@@ -569,7 +569,7 @@ def unique_everseen(iterable, key=None):
                 seen_add(k)
                 yield element
 
-def plotBox(yList,labels, fn, rotate=False,limit=True):
+def plotBox(yList,labels, fn, xAxisLabel,yAxisLabel, rotate=False,limit=True):
     import matplotlib
     matplotlib.use("TkAgg")
     import matplotlib.pyplot as plt
@@ -583,7 +583,7 @@ def plotBox(yList,labels, fn, rotate=False,limit=True):
 
     flierprops = dict(markeredgecolor ='black',markerfacecolor=
                            'black',marker='.',markersize=2)
-    box = ax1.boxplot(yList, 0, flierprops=flierprops,widths=0.5, showmeans=False, vert=True,meanprops=meanpointsprops)
+    box = ax1.boxplot(yList, 0, flierprops=flierprops,widths=0.5, showmeans=True, vert=False,meanprops=meanpointsprops)
     for line in box['medians']:
         x,y = line.get_xydata()[1]
         line.set(linewidth=3)
@@ -598,22 +598,24 @@ def plotBox(yList,labels, fn, rotate=False,limit=True):
     else:
         # ax1.set_xticklabels(labels)
         # ax1.set_xticklabels(None)
-        ax1.get_xaxis().set_ticklabels([])
+        ax1.set_yticklabels(labels,  ha='right')
+        ax1.get_yaxis().set_ticklabels(labels)
     # sns.boxplot(yList, ax=ax1)
     if limit:
-        ax1.set_ylim(top=1.1,bottom=0)
+        ax1.set_xlim(left=0)
         ax1.yaxis.set_ticks([0.0,1.0])
     else:
-        ax1.set_yscale('log')
-        ax1.set_xlabel('Cluster Member Size')
-        ax1.set_ylabel('Folds')
+        # ax1.set_yscale('log')
+        ax1.set_xlim(left=0)
+        ax1.set_xlabel(xAxisLabel)
+        ax1.set_ylabel(yAxisLabel)
     plt.ion()
 
     plt.subplots_adjust(wspace=0, hspace=0)
     fig = plt.gcf()
 
     # fig.tight_layout()
-    fig.set_size_inches(7, 1, forward=True)
+    fig.set_size_inches(7, 2, forward=True)
     fig.savefig(fn, dpi=100, bbox_inches='tight')
 
 

python/data/datasets.csv

@@ -3,7 +3,6 @@ libtiff, https://gitlab.com/libtiff/libtiff.git
 FFmpeg, https://github.com/FFmpeg/FFmpeg.git
 cmake, https://gitlab.kitware.com/cmake/cmake.git
 redis, https://github.com/antirez/redis.git
-ompi, https://github.com/open-mpi/ompi.git
 gzip, https://git.savannah.gnu.org/git/gzip.git
 libarchive, https://github.com/libarchive/libarchive
 cairo, https://gitlab.freedesktop.org/cairo/cairo.git
@@ -19,10 +18,335 @@ php-src, https://github.com/php/php-src.git
 gtk, https://gitlab.gnome.org/GNOME/gtk.git
 gstreamer, https://gitlab.freedesktop.org/gstreamer/gstreamer.git
 openssh-portable, https://github.com/openssh/openssh-portable.git
-openssl, https://github.com/openssl/openssl.git
 wireshark, https://github.com/wireshark/wireshark.git
-git, https://github.com/git/git.git
 linux, git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
 gmp,https://github.com/ryepdx/gmp
 lighttpd1.4,https://github.com/lighttpd/lighttpd1.4.git
 lighttpd2,https://github.com/lighttpd/lighttpd2.git
+xqemu,https://github.com/xqemu/xqemu
+git,https://github.com/git/git
+gpdb,https://github.com/greenplum-db/gpdb
+MonetDBLite-C,https://github.com/MonetDB/MonetDBLite-C
+panda,https://github.com/panda-re/panda
+freeradius-server,https://github.com/FreeRADIUS/freeradius-server
+bind9,https://github.com/isc-projects/bind9
+kamailio,https://github.com/kamailio/kamailio
+ompi,https://github.com/open-mpi/ompi
+prrte,https://github.com/openpmix/prrte
+openssl,https://github.com/openssl/openssl
+NetworkManager,https://github.com/NetworkManager/NetworkManager
+freeciv,https://github.com/freeciv/freeciv
+pcp,https://github.com/performancecopilot/pcp
+gnutls,https://github.com/gnutls/gnutls
+afni,https://github.com/afni/afni
+fontforge,https://github.com/fontforge/fontforge
+valgrind,https://github.com/pmem/valgrind
+ImageMagick6,https://github.com/ImageMagick/ImageMagick6
+rsyslog,https://github.com/rsyslog/rsyslog
+gpac,https://github.com/gpac/gpac
+PackageKit,https://github.com/hughsie/PackageKit
+libdxf,https://github.com/bert/libdxf
+contiki,https://github.com/contiki-os/contiki
+syslog-ng,https://github.com/syslog-ng/syslog-ng
+collectd,https://github.com/collectd/collectd
+atheme,https://github.com/atheme/atheme
+open-watcom-v2,https://github.com/open-watcom/open-watcom-v2
+tvheadend,https://github.com/tvheadend/tvheadend
+eudev,https://github.com/gentoo/eudev
+SRB2,https://github.com/STJr/SRB2
+hyperion,https://github.com/SDL-Hercules-390/hyperion
+riscv-openocd,https://github.com/riscv/riscv-openocd
+lxc,https://github.com/lxc/lxc
+deadbeef,https://github.com/DeaDBeeF-Player/deadbeef
+openocd,https://github.com/ilg-archived/openocd
+tmux,https://github.com/ThomasAdam/tmux
+strace,https://github.com/strace/strace
+ack,https://github.com/davidgiven/ack
+i3,https://github.com/Airblader/i3
+zstd,https://github.com/facebook/zstd
+libyang,https://github.com/CESNET/libyang
+mps,https://github.com/Ravenbrook/mps
+acados,https://github.com/acados/acados
+i3,https://github.com/i3/i3
+hashcat,https://github.com/hashcat/hashcat
+freetds,https://github.com/FreeTDS/freetds
+SLASHEM-Extended,https://github.com/SLASHEM-Extended/SLASHEM-Extended
+xmake,https://github.com/xmake-io/xmake
+indigo,https://github.com/indigo-astronomy/indigo
+libpostal,https://github.com/openvenues/libpostal
+openwsn-fw,https://github.com/openwsn-berkeley/openwsn-fw
+skiboot,https://github.com/open-power/skiboot
+civetweb,https://github.com/civetweb/civetweb
+ga,https://github.com/GlobalArrays/ga
+harvey,https://github.com/Harvey-OS/harvey
+astrometry.net,https://github.com/dstndstn/astrometry.net
+aranym,https://github.com/aranym/aranym
+NyuziProcessor,https://github.com/jbush001/NyuziProcessor
+Netatalk,https://github.com/Netatalk/Netatalk
+libevent,https://github.com/libevent/libevent
+PnetCDF,https://github.com/Parallel-NetCDF/PnetCDF
+owfs,https://github.com/owfs/owfs
+glfw,https://github.com/glfw/glfw
+dateutils,https://github.com/hroptatyr/dateutils
+alsa-lib,https://github.com/alsa-project/alsa-lib
+notion,https://github.com/raboof/notion
+mint-arena,https://github.com/zturtleman/mint-arena
+citus,https://github.com/citusdata/citus
+simh,https://github.com/simh/simh
+file,https://github.com/file/file
+aircrack-ng,https://github.com/aircrack-ng/aircrack-ng
+nagios-plugins,https://github.com/nagios-plugins/nagios-plugins
+librdkafka,https://github.com/edenhill/librdkafka
+bitlbee,https://github.com/bitlbee/bitlbee
+cdogs-sdl,https://github.com/cxong/cdogs-sdl
+LCUI,https://github.com/lc-soft/LCUI
+minisphere,https://github.com/fatcerberus/minisphere
+monitoring-plugins,https://github.com/monitoring-plugins/monitoring-plugins
+openrc,https://github.com/OpenRC/openrc
+OpenDUNE,https://github.com/OpenDUNE/OpenDUNE
+aerospike-client-c,https://github.com/aerospike/aerospike-client-c
+libming,https://github.com/libming/libming
+kvazaar,https://github.com/ultravideo/kvazaar
+deltachat-core,https://github.com/deltachat/deltachat-core
+ettercap,https://github.com/Ettercap/ettercap
+wget2,https://github.com/rockdaboot/wget2
+geeqie,https://github.com/BestImageViewer/geeqie
+libzip,https://github.com/nih-at/libzip
+specfem2d,https://github.com/geodynamics/specfem2d
+jailhouse,https://github.com/siemens/jailhouse
+xash3d,https://github.com/FWGS/xash3d
+oniguruma,https://github.com/kkos/oniguruma
+openvpn,https://github.com/OpenVPN/openvpn
+libopencm3,https://github.com/libopencm3/libopencm3
+atari800,https://github.com/atari800/atari800
+htslib,https://github.com/samtools/htslib
+luajit2,https://github.com/openresty/luajit2
+dnscrypt-proxy,https://github.com/dyne/dnscrypt-proxy
+ccan,https://github.com/rustyrussell/ccan
+rumprun,https://github.com/rumpkernel/rumprun
+testdisk,https://github.com/cgsecurity/testdisk
+ccextractor,https://github.com/CCExtractor/ccextractor
+hackrf,https://github.com/mossmann/hackrf
+flex,https://github.com/westes/flex
+libmdbx,https://github.com/erthink/libmdbx
+PowerShell-DSC-for-Linux,https://github.com/Microsoft/PowerShell-DSC-for-Linux
+lcdproc,https://github.com/lcdproc/lcdproc
+cmus,https://github.com/cmus/cmus
+libstoragemgmt,https://github.com/libstorage/libstoragemgmt
+ish,https://github.com/ish-app/ish
+celix,https://github.com/apache/celix
+nfft,https://github.com/NFFT/nfft
+xf86-input-wacom,https://github.com/linuxwacom/xf86-input-wacom
+libcaca,https://github.com/cacalabs/libcaca
+lldpd,https://github.com/vincentbernat/lldpd
+speex,https://github.com/xiph/speex
+Icecast-Server,https://github.com/xiph/Icecast-Server
+mosquitto,https://github.com/eclipse/mosquitto
+aravis,https://github.com/AravisProject/aravis
+tcsh,https://github.com/tcsh-org/tcsh
+pysam,https://github.com/pysam-developers/pysam
+c-blosc2,https://github.com/Blosc/c-blosc2
+blis,https://github.com/flame/blis
+libiio,https://github.com/analogdevicesinc/libiio
+ngs,https://github.com/ngs-lang/ngs
+rauc,https://github.com/rauc/rauc
+minizip,https://github.com/nmoinvaz/minizip
+tlf,https://github.com/Tlf/tlf
+NumCosmo,https://github.com/NumCosmo/NumCosmo
+pilight,https://github.com/pilight/pilight
+pg_pathman,https://github.com/postgrespro/pg_pathman
+libfuse,https://github.com/libfuse/libfuse
+cgreen,https://github.com/cgreen-devs/cgreen
+hawq,https://github.com/apache/hawq
+check,https://github.com/libcheck/check
+mpifileutils,https://github.com/hpc/mpifileutils
+ck,https://github.com/concurrencykit/ck
+openpbs,https://github.com/openpbs/openpbs
+oftc-ircservices,https://github.com/oftc/oftc-ircservices
+systemshock,https://github.com/Interrupt/systemshock
+dynomite,https://github.com/Netflix/dynomite
+bahamut,https://github.com/DALnet/bahamut
+tinyproxy,https://github.com/tinyproxy/tinyproxy
+crazyflie-firmware,https://github.com/bitcraze/crazyflie-firmware
+librsync,https://github.com/librsync/librsync
+gdnsd,https://github.com/gdnsd/gdnsd
+Zenroom,https://github.com/dyne/Zenroom
+yubico-piv-tool,https://github.com/Yubico/yubico-piv-tool
+petitboot,https://github.com/open-power/petitboot
+mercury,https://github.com/mercury-hpc/mercury
+libvmi,https://github.com/libvmi/libvmi
+Criterion,https://github.com/Snaipe/Criterion
+libqb,https://github.com/ClusterLabs/libqb
+paho.mqtt.c,https://github.com/eclipse/paho.mqtt.c
+mupnp,https://github.com/cybergarage/mupnp
+raft,https://github.com/canonical/raft
+libdill,https://github.com/sustrik/libdill
+pupnp,https://github.com/pupnp/pupnp
+munge,https://github.com/dun/munge
+nginx-vod-module,https://github.com/kaltura/nginx-vod-module
+TIC-80,https://github.com/nesbox/TIC-80
+ubertooth,https://github.com/greatscottgadgets/ubertooth
+controller,https://github.com/kiibohd/controller
+tarsnap,https://github.com/Tarsnap/tarsnap
+miniJVM,https://github.com/digitalgust/miniJVM
+libmaxminddb,https://github.com/maxmind/libmaxminddb
+packetgraph,https://github.com/outscale/packetgraph
+zmap,https://github.com/zmap/zmap
+tpm2-abrmd,https://github.com/tpm2-software/tpm2-abrmd
+dps-for-iot,https://github.com/intel/dps-for-iot
+libplacebo,https://github.com/haasn/libplacebo
+parasail,https://github.com/jeffdaily/parasail
+powerman,https://github.com/chaos/powerman
+rmw,https://github.com/theimpossibleastronaut/rmw
+mpb,https://github.com/NanoComp/mpb
+mapcache,https://github.com/mapserver/mapcache
+secp256k1,https://github.com/bitcoin-core/secp256k1
+app,https://github.com/Studio-Link/app
+portable,https://github.com/libressl-portable/portable
+openbsm,https://github.com/openbsm/openbsm
+Picnic,https://github.com/IAIK/Picnic
+Unity,https://github.com/ThrowTheSwitch/Unity
+cyclonedds,https://github.com/eclipse-cyclonedds/cyclonedds
+inadyn,https://github.com/troglobit/inadyn
+input-wacom,https://github.com/linuxwacom/input-wacom
+my_basic,https://github.com/paladin-t/my_basic
+pure-ftpd,https://github.com/jedisct1/pure-ftpd
+fakechroot,https://github.com/dex4er/fakechroot
+liboqs,https://github.com/open-quantum-safe/liboqs
+libatomic_ops,https://github.com/ivmai/libatomic_ops
+netcode,https://github.com/networkprotocol/netcode
+fwup,https://github.com/fhunleth/fwup
+otfcc,https://github.com/caryll/otfcc
+mcu,https://github.com/digitalbitbox/mcu
+cglm,https://github.com/recp/cglm
+gphoto2,https://github.com/gphoto/gphoto2
+ksmbd-tools,https://github.com/namjaejeon/ksmbd-tools
+unabto,https://github.com/nabto/unabto
+SSLproxy,https://github.com/sonertari/SSLproxy
+logrotate,https://github.com/logrotate/logrotate
+trunk,https://github.com/idathena/trunk
+duc,https://github.com/zevv/duc
+parodus,https://github.com/xmidt-org/parodus
+crust,https://github.com/crust-firmware/crust
+liblognorm,https://github.com/rsyslog/liblognorm
+axel,https://github.com/axel-download-accelerator/axel
+MultiMarkdown-6,https://github.com/fletcher/MultiMarkdown-6
+dqlite,https://github.com/canonical/dqlite
+snowball,https://github.com/snowballstem/snowball
+libqrencode,https://github.com/fukuchi/libqrencode
+pesign,https://github.com/rhboot/pesign
+3CeAM,https://github.com/3CeAM/3CeAM
+vnstat,https://github.com/vergoh/vnstat
+scs,https://github.com/cvxgrp/scs
+snoopy,https://github.com/a2o/snoopy
+libtpms,https://github.com/stefanberger/libtpms
+sniproxy,https://github.com/dlundquist/sniproxy
+ngx_php7,https://github.com/rryqszq4/ngx_php7
+mod_perimeterx,https://github.com/PerimeterX/mod_perimeterx
+luvi,https://github.com/luvit/luvi
+Clight,https://github.com/FedeDP/Clight
+imv,https://github.com/eXeC64/imv
+UDUNITS-2,https://github.com/Unidata/UDUNITS-2
+redshift,https://github.com/jonls/redshift
+glorytun,https://github.com/angt/glorytun
+liblouisutdml,https://github.com/liblouis/liblouisutdml
+openpace,https://github.com/frankmorgner/openpace
+proftpd-mod_proxy,https://github.com/Castaglia/proftpd-mod_proxy
+f-stack,https://github.com/F-Stack/f-stack
+ior,https://github.com/hpc/ior
+watchdogd,https://github.com/troglobit/watchdogd
+gnome-inform7,https://github.com/ptomato/gnome-inform7
+sled,https://github.com/shinyblink/sled
+Microduino-IDE-Support,https://github.com/wasdpkj/Microduino-IDE-Support
+aws-c-common,https://github.com/awslabs/aws-c-common
+noise-repellent,https://github.com/lucianodato/noise-repellent
+Little-CMS,https://github.com/mm2/Little-CMS
+Adafruit_nRF52_Bootloader,https://github.com/adafruit/Adafruit_nRF52_Bootloader
+jasper,https://github.com/jasper-software/jasper
+can-utils,https://github.com/linux-can/can-utils
+masscan,https://github.com/robertdavidgraham/masscan
+balde,https://github.com/balde/balde
+libfreefare,https://github.com/nfc-tools/libfreefare
+GNUSim8085,https://github.com/GNUSim8085/GNUSim8085
+pick,https://github.com/mptre/pick
+ksm,https://github.com/asamy/ksm
+libctl,https://github.com/NanoComp/libctl
+libepoxy,https://github.com/anholt/libepoxy
+libfort,https://github.com/seleznevae/libfort
+cpuid,https://github.com/tycho/cpuid
+x11vnc,https://github.com/LibVNC/x11vnc
+dreamchess,https://github.com/dreamchess/dreamchess
+umockdev,https://github.com/martinpitt/umockdev
+nats.c,https://github.com/nats-io/nats.c
+binjgb,https://github.com/binji/binjgb
+mcfgthread,https://github.com/lhmouse/mcfgthread
+bluez-alsa,https://github.com/Arkq/bluez-alsa
+rtty,https://github.com/zhaojh329/rtty
+ExternData,https://github.com/modelica-3rdparty/ExternData
+c-tap-harness,https://github.com/rra/c-tap-harness
+irqbalance,https://github.com/Irqbalance/irqbalance
+OpenHMD,https://github.com/OpenHMD/OpenHMD
+vmemcache,https://github.com/pmem/vmemcache
+nxdk,https://github.com/XboxDev/nxdk
+clr-boot-manager,https://github.com/clearlinux/clr-boot-manager
+digest,https://github.com/eddelbuettel/digest
+epk2extract,https://github.com/openlgtv/epk2extract
+ENet-CSharp,https://github.com/nxrighthere/ENet-CSharp
+ChameleonMini-rebooted,https://github.com/iceman1001/ChameleonMini-rebooted
+mod-host,https://github.com/moddevices/mod-host
+fzy,https://github.com/jhawthorn/fzy
+sjs,https://github.com/saghul/sjs
+opusfile,https://github.com/xiph/opusfile
+libuev,https://github.com/troglobit/libuev
+grub4dos,https://github.com/chenall/grub4dos
+logswan,https://github.com/fcambus/logswan
+gdk,https://github.com/Blockstream/gdk
+sshfs,https://github.com/libfuse/sshfs
+libtelnet,https://github.com/seanmiddleditch/libtelnet
+biscuit,https://github.com/zhou-lab/biscuit
+librtlsdr,https://github.com/steve-m/librtlsdr
+vx32,https://github.com/0intro/vx32
+twolame,https://github.com/njh/twolame
+cminpack,https://github.com/devernay/cminpack
+sftpserver,https://github.com/ewxrjk/sftpserver
+arduino-device-lib,https://github.com/TheThingsNetwork/arduino-device-lib
+stream-lua-nginx-module,https://github.com/openresty/stream-lua-nginx-module
+oppai-ng,https://github.com/Francesco149/oppai-ng
+ccnet,https://github.com/haiwen/ccnet
+lexbor,https://github.com/lexbor/lexbor
+i3lock,https://github.com/i3/i3lock
+par,https://github.com/prideout/par
+Adafruit-GFX-Library,https://github.com/adafruit/Adafruit-GFX-Library
+munin-c,https://github.com/munin-monitoring/munin-c
+libevt,https://github.com/libyal/libevt
+yabar,https://github.com/geommer/yabar
+libvmod-redis,https://github.com/carlosabalde/libvmod-redis
+FiSH-irssi,https://github.com/falsovsky/FiSH-irssi
+bcal,https://github.com/jarun/bcal
+esnacc-ng,https://github.com/esnacc/esnacc-ng
+libhydrogen,https://github.com/jedisct1/libhydrogen
+aws-c-io,https://github.com/awslabs/aws-c-io
+varnish-modules,https://github.com/varnish/varnish-modules
+rcppredis,https://github.com/eddelbuettel/rcppredis
+cgltf,https://github.com/jkuhlmann/cgltf
+kafkacat,https://github.com/edenhill/kafkacat
+gdigi,https://github.com/desowin/gdigi
+abcm2ps,https://github.com/leesavide/abcm2ps
+proxytunnel,https://github.com/proxytunnel/proxytunnel
+libphenom,https://github.com/facebookarchive/libphenom
+evdi,https://github.com/DisplayLink/evdi
+enca,https://github.com/nijel/enca
+M7M01_MuEukaron,https://github.com/EDI-Systems/M7M01_MuEukaron
+libva-utils,https://github.com/intel/libva-utils
+Enterprise,https://github.com/SevenBits/Enterprise
+rem,https://github.com/creytiv/rem
+SDL_kitchensink,https://github.com/katajakasa/SDL_kitchensink
+sntpd,https://github.com/troglobit/sntpd
+Virtual-Assistant,https://github.com/ritwik12/Virtual-Assistant
+port-mirroring,https://github.com/mmaraya/port-mirroring
+telize,https://github.com/fcambus/telize
+zhe,https://github.com/atolab/zhe
+Tilengine,https://github.com/megamarc/Tilengine
+Netopeer2,https://github.com/CESNET/Netopeer2
+libvmod-curl,https://github.com/varnish/libvmod-curl
+ocaml-freestanding,https://github.com/mirage/ocaml-freestanding

python/data/test-valid2.sh

@@ -0,0 +1,49 @@
+#!/bin/bash
+EXEFILE=$3
+ANGELIXPRE=$ANGELIX_RUN
+INPUT_NAME=$1
+OUTPUT_NAME=$2
+MY_TIMEOUT=$4
+MY_NAME=my_output
+# rm -R $MY_NAME* &>/dev/null
+run_test()
+{
+test_case="$1"
+
+echo $MY_TIMEOUT
+if ! `which gtime` -o $MY_TIMEOUT -f "(%es)" gtimeout -k 50s 50s $ANGELIXPRE $EXEFILE < $test_case | sed -e '/^$/d' -e 's/^[ \t]*//' > $test_case$MY_NAME; then
+echo Sample test \#$test_case: Runtime Error`cat $MY_TIMEOUT`
+echo ========================================
+echo Sample Input \#$test_case
+        cat $test_case
+exit 2
+else
+if grep "Command" $MY_TIMEOUT; then 
+ echo "ERROR";
+ exit -1;
+fi
+	if diff --brief -w $test_case$MY_NAME $2; then
+echo Sample test \#$test_case: Accepted`cat $MY_TIMEOUT`
+exit 0
+	else
+echo Sample test \#$test_case: Wrong Answer`cat $MY_TIMEOUT`
+echo ========================================
+ echo Sample Input \#$test_case
+ cat $test_case
+echo ========================================
+echo Sample Output \#$2
+cat $2
+echo ========================================
+echo My Output \#$test_case$MY_NAME
+cat $test_case$MY_NAME
+echo ========================================
+exit 1
+fi
+    fi
+}
+
+run_test "$INPUT_NAME" "$OUTPUT_NAME" ;
+
+esac
+exit 1
+

python/data/tests-list/gmp/README.md

@@ -0,0 +1,23 @@
+## Running `gmp` bugs
+
+After running the container you need to follow the following
+steps to prepare `SOSRepair` for running:
+
+1. Copy `makeout`, `compile.sh`, `test.sh` and `tests-list` to
+the container's `/experiment/`.
+2. Copy `settings.py` to the container's `/opt/sosrepair/sosrepair`.
+3. In the container, reconfigure the project with coverage flags:
+```
+cd /experiment/src
+./configure "CFLAGS=-fprofile-arcs -ftest-coverage" "CXXFLAGS=-fprofile-arcs -ftest-coverage" "LDFLAGS=-lgcov --coverage"
+make clean
+make
+```
+4. Run `/opt/sosrepair/prepare/setup.sh`.
+5. Set proper permissions by running `sudo chmod -R 777 /opt/sosrepair/sosrepair`.
+6. Setup environment variables:
+```
+export PYTHONPATH="/opt/sosrepair/bindings:${PYTHONPATH}"
+export CPATH=":/opt/sosrepair/include"
+export PATH="/opt/sosrepair/bin:$PATH"
+```

python/data/tests-list/gmp/compile.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+cd $DIR/src
+#make clean
+(make && exit 0)|| exit 1
+
+

python/data/tests-list/gmp/copy.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+
+
+CONTAINER=$1
+BUG=$2
+
+docker cp compile.sh $CONTAINER:/experiment/
+docker cp $BUG/test.sh $CONTAINER:/experiment/
+docker cp $BUG/tests-list.txt $CONTAINER:/experiment/
+docker cp $BUG/settings.py $CONTAINER:/opt/sosrepair/sosrepair/

python/data/tests-list/gmp/gmp-bug-13420-13421/notes.md

@@ -0,0 +1,3 @@
+For running SOS+ on this bug, we manually helped in finding
+correct set of live variables. Number of live variables are
+very high. So we limit that to `b2p`, `n`, `rp`, and `tp`.

python/data/tests-list/gmp/gmp-bug-13420-13421/settings.py

@@ -0,0 +1,83 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/mpn/generic/powm.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (144, 483)
+# IF SOS+
+# METHOD_RANGE = (212, 213)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""
+
+GCOV_OBJECTS = "/experiment/src/mpn/.libs/"

python/data/tests-list/gmp/gmp-bug-13420-13421/test.sh

@@ -0,0 +1,165 @@
+#!/bin/bash
+run_abbrev=False
+bugrev=13420
+time_limit=25
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+run_test()
+{
+    cd $dir/src
+    ../gmp-run-tests.pl $1 $run_abbrev
+    if [ $? = 0 ] ; then
+        echo ""
+        echo "PASS"
+    else
+        echo ""
+        echo "FAIL"
+    fi
+    popd > /dev/null
+    return 0
+}
+case $1 in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 2 && exit 0 ;; 
+    p3) run_test 3 && exit 0 ;; 
+    p4) run_test 4 && exit 0 ;; 
+    p5) run_test 5 && exit 0 ;; 
+    p6) run_test 6 && exit 0 ;; 
+    p7) run_test 7 && exit 0 ;; 
+    p8) run_test 8 && exit 0 ;; 
+    p9) run_test 9 && exit 0 ;; 
+    p10) run_test 10 && exit 0 ;; 
+    p11) run_test 11 && exit 0 ;; 
+    p12) run_test 12 && exit 0 ;; 
+    p13) run_test 13 && exit 0 ;; 
+    p14) run_test 14 && exit 0 ;; 
+    p15) run_test 15 && exit 0 ;; 
+    p16) run_test 16 && exit 0 ;; 
+    p17) run_test 17 && exit 0 ;; 
+    p18) run_test 18 && exit 0 ;; 
+    p19) run_test 19 && exit 0 ;; 
+    p20) run_test 20 && exit 0 ;; 
+    p21) run_test 21 && exit 0 ;; 
+    p22) run_test 22 && exit 0 ;; 
+    p23) run_test 23 && exit 0 ;; 
+    p24) run_test 24 && exit 0 ;; 
+    p25) run_test 25 && exit 0 ;; 
+    p26) run_test 26 && exit 0 ;; 
+    p27) run_test 27 && exit 0 ;; 
+    p28) run_test 28 && exit 0 ;; 
+    p29) run_test 29 && exit 0 ;; 
+    p30) run_test 31 && exit 0 ;; 
+    p31) run_test 32 && exit 0 ;; 
+    p32) run_test 33 && exit 0 ;; 
+    p33) run_test 35 && exit 0 ;; 
+    p34) run_test 36 && exit 0 ;; 
+    p35) run_test 37 && exit 0 ;; 
+    p36) run_test 39 && exit 0 ;; 
+    p37) run_test 40 && exit 0 ;; 
+    p38) run_test 41 && exit 0 ;; 
+    p39) run_test 42 && exit 0 ;; 
+    p40) run_test 43 && exit 0 ;; 
+    p41) run_test 44 && exit 0 ;; 
+    p42) run_test 45 && exit 0 ;; 
+    p43) run_test 46 && exit 0 ;; 
+    p44) run_test 47 && exit 0 ;; 
+    p45) run_test 48 && exit 0 ;; 
+    p46) run_test 49 && exit 0 ;; 
+    p47) run_test 50 && exit 0 ;; 
+    p48) run_test 51 && exit 0 ;; 
+    p49) run_test 52 && exit 0 ;; 
+    p50) run_test 53 && exit 0 ;; 
+    p51) run_test 54 && exit 0 ;; 
+    p52) run_test 55 && exit 0 ;; 
+    p53) run_test 56 && exit 0 ;; 
+    p54) run_test 57 && exit 0 ;; 
+    p55) run_test 58 && exit 0 ;; 
+    p56) run_test 59 && exit 0 ;; 
+    p57) run_test 60 && exit 0 ;; 
+    p58) run_test 61 && exit 0 ;; 
+    p59) run_test 62 && exit 0 ;; 
+    p60) run_test 63 && exit 0 ;; 
+    p61) run_test 64 && exit 0 ;; 
+    p62) run_test 65 && exit 0 ;; 
+    p63) run_test 66 && exit 0 ;; 
+    p64) run_test 67 && exit 0 ;; 
+    p65) run_test 68 && exit 0 ;; 
+    p66) run_test 69 && exit 0 ;; 
+    p67) run_test 70 && exit 0 ;; 
+    p68) run_test 71 && exit 0 ;; 
+    p69) run_test 72 && exit 0 ;; 
+    p70) run_test 73 && exit 0 ;; 
+    p71) run_test 74 && exit 0 ;; 
+    p72) run_test 75 && exit 0 ;; 
+    p73) run_test 76 && exit 0 ;; 
+    p74) run_test 77 && exit 0 ;; 
+    p75) run_test 78 && exit 0 ;; 
+    p76) run_test 79 && exit 0 ;; 
+    p77) run_test 80 && exit 0 ;; 
+    p78) run_test 81 && exit 0 ;; 
+    p79) run_test 82 && exit 0 ;; 
+    p80) run_test 83 && exit 0 ;; 
+    p81) run_test 84 && exit 0 ;; 
+    p82) run_test 85 && exit 0 ;; 
+    p83) run_test 86 && exit 0 ;; 
+    p84) run_test 87 && exit 0 ;; 
+    p85) run_test 88 && exit 0 ;; 
+    p86) run_test 89 && exit 0 ;; 
+    p87) run_test 90 && exit 0 ;; 
+    p88) run_test 91 && exit 0 ;; 
+    p89) run_test 92 && exit 0 ;; 
+    p90) run_test 93 && exit 0 ;; 
+    p91) run_test 94 && exit 0 ;; 
+    p92) run_test 95 && exit 0 ;; 
+    p93) run_test 96 && exit 0 ;; 
+    p94) run_test 97 && exit 0 ;; 
+    p95) run_test 98 && exit 0 ;; 
+    p96) run_test 99 && exit 0 ;; 
+    p97) run_test 100 && exit 0 ;; 
+    p98) run_test 101 && exit 0 ;; 
+    p99) run_test 102 && exit 0 ;; 
+    p100) run_test 103 && exit 0 ;; 
+    p101) run_test 104 && exit 0 ;; 
+    p102) run_test 105 && exit 0 ;; 
+    p103) run_test 106 && exit 0 ;; 
+    p104) run_test 107 && exit 0 ;; 
+    p105) run_test 108 && exit 0 ;; 
+    p106) run_test 109 && exit 0 ;; 
+    p107) run_test 110 && exit 0 ;; 
+    p108) run_test 111 && exit 0 ;; 
+    p109) run_test 112 && exit 0 ;; 
+    p110) run_test 113 && exit 0 ;; 
+    p111) run_test 114 && exit 0 ;; 
+    p112) run_test 115 && exit 0 ;; 
+    p113) run_test 116 && exit 0 ;; 
+    p114) run_test 117 && exit 0 ;; 
+    p115) run_test 118 && exit 0 ;; 
+    p116) run_test 119 && exit 0 ;; 
+    p117) run_test 120 && exit 0 ;; 
+    p118) run_test 121 && exit 0 ;; 
+    p119) run_test 122 && exit 0 ;; 
+    p120) run_test 123 && exit 0 ;; 
+    p121) run_test 124 && exit 0 ;; 
+    p122) run_test 125 && exit 0 ;; 
+    p123) run_test 126 && exit 0 ;; 
+    p124) run_test 127 && exit 0 ;; 
+    p125) run_test 128 && exit 0 ;; 
+    p126) run_test 129 && exit 0 ;; 
+    p127) run_test 130 && exit 0 ;; 
+    p128) run_test 131 && exit 0 ;; 
+    p129) run_test 132 && exit 0 ;; 
+    p130) run_test 133 && exit 0 ;; 
+    p131) run_test 134 && exit 0 ;; 
+    p132) run_test 135 && exit 0 ;; 
+    p133) run_test 136 && exit 0 ;; 
+    p134) run_test 139 && exit 0 ;; 
+    p135) run_test 140 && exit 0 ;; 
+    p136) run_test 141 && exit 0 ;; 
+    p137) run_test 142 && exit 0 ;; 
+    p138) run_test 143 && exit 0 ;; 
+    p139) run_test 144 && exit 0 ;; 
+    p140) run_test 146 && exit 0 ;; 
+    n1) run_test 30 && exit 0 ;; 
+    n2) run_test 34 && exit 0 ;; 
+    n3) run_test 38 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/gmp/gmp-bug-13420-13421/tests-list.txt

@@ -0,0 +1,140 @@
+n1
+n2
+p1
+p2
+p3
+p4
+p5
+p6
+p7
+p8
+p9
+p10
+p11
+p12
+p13
+p14
+p15
+p16
+p17
+p18
+p19
+p20
+p21
+p22
+p23
+p24
+p25
+p26
+p27
+p28
+p29
+p30
+p31
+p32
+p33
+p34
+p36
+p37
+p38
+p39
+p40
+p41
+p42
+p43
+p44
+p46
+p47
+p48
+p49
+p50
+p51
+p52
+p53
+p54
+p55
+p56
+p57
+p58
+p59
+p60
+p61
+p62
+p63
+p64
+p65
+p66
+p67
+p68
+p69
+p70
+p71
+p72
+p73
+p74
+p75
+p76
+p77
+p78
+p79
+p80
+p81
+p82
+p83
+p84
+p85
+p86
+p87
+p88
+p89
+p90
+p91
+p92
+p93
+p94
+p95
+p96
+p97
+p98
+p99
+p100
+p101
+p102
+p103
+p104
+p105
+p106
+p107
+p108
+p109
+p110
+p111
+p112
+p113
+p114
+p115
+p116
+p117
+p118
+p119
+p120
+p121
+p122
+p123
+p124
+p125
+p126
+p127
+p128
+p129
+p130
+p131
+p132
+p133
+p134
+p135
+p136
+p137
+p138
+p139
+p140

python/data/tests-list/gmp/gmp-bug-14166-14167/settings.py

@@ -0,0 +1,83 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/mpz/gcdext.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (29, 119)
+# IF SOS+
+# METHOD_RANGE = (56, 57)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""
+
+GCOV_OBJECTS = "/experiment/src/mpz/.libs"

python/data/tests-list/gmp/gmp-bug-14166-14167/test.sh

@@ -0,0 +1,167 @@
+#!/bin/bash
+run_abbrev=False
+bugrev=13420
+time_limit=25
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+run_test()
+{
+    cd $dir/src
+    ../gmp-run-tests.pl $1 $run_abbrev
+    if [ $? = 0 ] ; then
+        echo ""
+        echo "PASS"
+    else
+        echo ""
+        echo "FAIL"
+    fi
+    popd > /dev/null
+    return 0
+}
+case $1 in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 2 && exit 0 ;; 
+    p3) run_test 3 && exit 0 ;; 
+    p4) run_test 4 && exit 0 ;; 
+    p5) run_test 5 && exit 0 ;; 
+    p6) run_test 6 && exit 0 ;; 
+    p7) run_test 7 && exit 0 ;; 
+    p8) run_test 8 && exit 0 ;; 
+    p9) run_test 9 && exit 0 ;; 
+    p10) run_test 10 && exit 0 ;; 
+    p11) run_test 11 && exit 0 ;; 
+    p12) run_test 12 && exit 0 ;; 
+    p13) run_test 13 && exit 0 ;; 
+    p14) run_test 14 && exit 0 ;; 
+    p15) run_test 15 && exit 0 ;; 
+    p16) run_test 16 && exit 0 ;; 
+    p17) run_test 17 && exit 0 ;; 
+    p18) run_test 18 && exit 0 ;; 
+    p19) run_test 20 && exit 0 ;; 
+    p20) run_test 21 && exit 0 ;; 
+    p21) run_test 22 && exit 0 ;; 
+    p22) run_test 23 && exit 0 ;; 
+    p23) run_test 24 && exit 0 ;; 
+    p24) run_test 25 && exit 0 ;; 
+    p25) run_test 26 && exit 0 ;; 
+    p26) run_test 27 && exit 0 ;; 
+    p27) run_test 28 && exit 0 ;; 
+    p28) run_test 29 && exit 0 ;; 
+    p29) run_test 30 && exit 0 ;; 
+    p30) run_test 31 && exit 0 ;; 
+    p31) run_test 32 && exit 0 ;; 
+    p32) run_test 33 && exit 0 ;; 
+    p33) run_test 34 && exit 0 ;; 
+    p34) run_test 35 && exit 0 ;; 
+    p35) run_test 36 && exit 0 ;; 
+    p36) run_test 37 && exit 0 ;; 
+    p37) run_test 38 && exit 0 ;; 
+    p38) run_test 39 && exit 0 ;; 
+    p39) run_test 40 && exit 0 ;; 
+    p40) run_test 41 && exit 0 ;; 
+    p41) run_test 42 && exit 0 ;; 
+    p42) run_test 43 && exit 0 ;; 
+    p43) run_test 44 && exit 0 ;; 
+    p44) run_test 45 && exit 0 ;; 
+    p45) run_test 46 && exit 0 ;; 
+    p46) run_test 47 && exit 0 ;; 
+    p47) run_test 48 && exit 0 ;; 
+    p48) run_test 49 && exit 0 ;; 
+    p49) run_test 50 && exit 0 ;; 
+    p50) run_test 52 && exit 0 ;; 
+    p51) run_test 53 && exit 0 ;; 
+    p52) run_test 54 && exit 0 ;; 
+    p53) run_test 55 && exit 0 ;; 
+    p54) run_test 56 && exit 0 ;; 
+    p55) run_test 57 && exit 0 ;; 
+    p56) run_test 58 && exit 0 ;; 
+    p57) run_test 59 && exit 0 ;; 
+    p58) run_test 60 && exit 0 ;; 
+    p59) run_test 61 && exit 0 ;; 
+    p60) run_test 62 && exit 0 ;; 
+    p61) run_test 63 && exit 0 ;; 
+    p62) run_test 64 && exit 0 ;; 
+    p63) run_test 65 && exit 0 ;; 
+    p64) run_test 66 && exit 0 ;; 
+    p65) run_test 67 && exit 0 ;; 
+    p66) run_test 68 && exit 0 ;; 
+    p67) run_test 69 && exit 0 ;; 
+    p68) run_test 70 && exit 0 ;; 
+    p69) run_test 71 && exit 0 ;; 
+    p70) run_test 72 && exit 0 ;; 
+    p71) run_test 73 && exit 0 ;; 
+    p72) run_test 74 && exit 0 ;; 
+    p73) run_test 75 && exit 0 ;; 
+    p74) run_test 76 && exit 0 ;; 
+    p75) run_test 77 && exit 0 ;; 
+    p76) run_test 78 && exit 0 ;; 
+    p77) run_test 79 && exit 0 ;; 
+    p78) run_test 80 && exit 0 ;; 
+    p79) run_test 81 && exit 0 ;; 
+    p80) run_test 82 && exit 0 ;; 
+    p81) run_test 83 && exit 0 ;; 
+    p82) run_test 84 && exit 0 ;; 
+    p83) run_test 85 && exit 0 ;; 
+    p84) run_test 86 && exit 0 ;; 
+    p85) run_test 87 && exit 0 ;; 
+    p86) run_test 88 && exit 0 ;; 
+    p87) run_test 89 && exit 0 ;; 
+    p88) run_test 90 && exit 0 ;; 
+    p89) run_test 91 && exit 0 ;; 
+    p90) run_test 92 && exit 0 ;; 
+    p91) run_test 93 && exit 0 ;; 
+    p92) run_test 94 && exit 0 ;; 
+    p93) run_test 95 && exit 0 ;; 
+    p94) run_test 96 && exit 0 ;; 
+    p95) run_test 97 && exit 0 ;; 
+    p96) run_test 98 && exit 0 ;; 
+    p97) run_test 99 && exit 0 ;; 
+    p98) run_test 100 && exit 0 ;; 
+    p99) run_test 101 && exit 0 ;; 
+    p100) run_test 102 && exit 0 ;; 
+    p101) run_test 103 && exit 0 ;; 
+    p102) run_test 104 && exit 0 ;; 
+    p103) run_test 105 && exit 0 ;; 
+    p104) run_test 106 && exit 0 ;; 
+    p105) run_test 107 && exit 0 ;; 
+    p106) run_test 108 && exit 0 ;; 
+    p107) run_test 109 && exit 0 ;; 
+    p108) run_test 110 && exit 0 ;; 
+    p109) run_test 111 && exit 0 ;; 
+    p110) run_test 112 && exit 0 ;; 
+    p111) run_test 113 && exit 0 ;; 
+    p112) run_test 114 && exit 0 ;; 
+    p113) run_test 115 && exit 0 ;; 
+    p114) run_test 116 && exit 0 ;; 
+    p115) run_test 117 && exit 0 ;; 
+    p116) run_test 118 && exit 0 ;; 
+    p117) run_test 119 && exit 0 ;; 
+    p118) run_test 120 && exit 0 ;; 
+    p119) run_test 121 && exit 0 ;; 
+    p120) run_test 122 && exit 0 ;; 
+    p121) run_test 123 && exit 0 ;; 
+    p122) run_test 124 && exit 0 ;; 
+    p123) run_test 125 && exit 0 ;; 
+    p124) run_test 126 && exit 0 ;; 
+    p125) run_test 127 && exit 0 ;; 
+    p126) run_test 128 && exit 0 ;; 
+    p127) run_test 129 && exit 0 ;; 
+    p128) run_test 130 && exit 0 ;; 
+    p129) run_test 131 && exit 0 ;; 
+    p130) run_test 132 && exit 0 ;; 
+    p131) run_test 133 && exit 0 ;; 
+    p132) run_test 134 && exit 0 ;; 
+    p133) run_test 135 && exit 0 ;; 
+    p134) run_test 136 && exit 0 ;; 
+    p135) run_test 137 && exit 0 ;; 
+    p136) run_test 138 && exit 0 ;; 
+    p137) run_test 139 && exit 0 ;; 
+    p138) run_test 140 && exit 0 ;; 
+    p139) run_test 141 && exit 0 ;; 
+    p140) run_test 142 && exit 0 ;; 
+    p141) run_test 143 && exit 0 ;; 
+    p142) run_test 144 && exit 0 ;; 
+    p143) run_test 145 && exit 0 ;; 
+    p144) run_test 146 && exit 0 ;; 
+    n1) run_test 19 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/gmp/gmp-bug-14166-14167/tests-list.txt

@@ -0,0 +1,142 @@
+n1
+p1
+p2
+p3
+p4
+p5
+p6
+p7
+p8
+p9
+p10
+p11
+p12
+p13
+p14
+p15
+p16
+p17
+p18
+p19
+p20
+p21
+p22
+p23
+p24
+p25
+p26
+p27
+p28
+p29
+p30
+p31
+p32
+p33
+p34
+p36
+p37
+p38
+p39
+p40
+p41
+p42
+p43
+p44
+p46
+p48
+p49
+p50
+p51
+p52
+p53
+p54
+p55
+p56
+p57
+p58
+p59
+p60
+p61
+p62
+p63
+p64
+p65
+p66
+p67
+p68
+p69
+p70
+p71
+p72
+p73
+p74
+p75
+p76
+p77
+p78
+p79
+p80
+p81
+p82
+p83
+p84
+p85
+p86
+p87
+p88
+p89
+p90
+p91
+p92
+p93
+p94
+p95
+p96
+p97
+p98
+p99
+p100
+p101
+p102
+p103
+p104
+p105
+p106
+p107
+p108
+p109
+p110
+p111
+p112
+p113
+p114
+p115
+p116
+p117
+p118
+p119
+p120
+p121
+p122
+p123
+p124
+p125
+p126
+p127
+p128
+p129
+p130
+p131
+p132
+p133
+p134
+p135
+p136
+p137
+p138
+p139
+p140
+p141
+p142
+p143
+p144

python/data/tests-list/gzip/README.md

@@ -0,0 +1,23 @@
+## Running `gzip` bugs
+
+After running the container you need to follow the following
+steps to prepare `SOSRepair` for running:
+
+1. Copy `makeout`, `compile.sh`, `test.sh` and `tests-list` to
+the container's `/experiment/`.
+2. Copy `settings.py` to the container's `/opt/sosrepair/sosrepair`.
+3. In the container, reconfigure the project with coverage flags:
+```
+cd /experiment/src
+./configure "CFLAGS=-m32 -fprofile-arcs -ftest-coverage" "CXXFLAGS=-m32 -fprofile-arcs -ftest-coverage" "LDFLAGS=-m32 -lgcov"
+make clean
+make
+```
+4. Run `/opt/sosrepair/prepare/setup.sh`.
+5. Set proper permissions by running `sudo chmod -R 777 /opt/sosrepair/sosrepair`.
+6. Setup environment variables:
+```
+export PYTHONPATH="/opt/sosrepair/bindings:${PYTHONPATH}"
+export CPATH=":/opt/sosrepair/include"
+export PATH="/opt/sosrepair/bin:$PATH"
+```

python/data/tests-list/gzip/compile.sh

@@ -0,0 +1,19 @@
+#!/bin/bash
+TIME_LIMIT=60
+HERE_DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+PATCH_EXE=$1
+PATCH_DIR=$(dirname "$PATCH_EXE")
+PROJECT_DIR="$HERE_DIR/src"
+
+# Remove the object file for the affected source code file
+# cp "$PATCH_DIR/inflate.c" "$PROJECT_DIR/inflate.c" && \
+pushd "$PROJECT_DIR" && \
+rm -f inflate.o && \
+
+# Clear the results of any test executions for any previous patches
+# pushd tests && \
+# make clean && \
+# popd && \
+
+# Rebuild the rest of the project
+timeout $TIME_LIMIT make || exit 1

python/data/tests-list/gzip/copy.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+
+
+CONTAINER=$1
+BUG=$2
+
+docker cp compile.sh $CONTAINER:/experiment/
+docker cp $BUG/test.sh $CONTAINER:/experiment/
+docker cp $BUG/tests-list.txt $CONTAINER:/experiment/
+docker cp $BUG/settings.py $CONTAINER:/opt/sosrepair/sosrepair/

python/data/tests-list/gzip/gzip-bug-2009-08-16-3fe0caeada-39a362ae9d/settings.py

@@ -0,0 +1,80 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/inflate.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (300, 492)
+# IF SOS+
+# METHOD_RANGE = (338, 339)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""

python/data/tests-list/gzip/gzip-bug-2009-08-16-3fe0caeada-39a362ae9d/test.sh

@@ -0,0 +1,24 @@
+#!/bin/bash
+TEST_ID=$1
+DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+
+run_test()
+{
+    cd $DIR/src
+        timeout 5 perl $DIR/gzip-run-tests.pl $1
+    RESULT=$?
+    if [ $RESULT = 0 ] ; then
+	echo "PASS"
+    else
+	echo "FAIL"
+    fi
+    cd ..
+    return 0
+}
+case $TEST_ID in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 4 && exit 0 ;; 
+    n1) run_test 3 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/gzip/gzip-bug-2009-08-16-3fe0caeada-39a362ae9d/tests-list.txt

@@ -0,0 +1,3 @@
+n1
+p1
+p2

python/data/tests-list/gzip/gzip-bug-2009-09-26-a1d3d4019d-f17cbd13a1/notes.md

@@ -0,0 +1,5 @@
+For running SOS+ on this bug, we manually helped in finding
+correct set of live variables. Variable `ifd` is global variable
+therefore not considered by SOS+ as a live variable.
+We manually changed code in `fault_localization/suspicious_block.py`
+to include `ifd` as a variable.

python/data/tests-list/gzip/gzip-bug-2009-09-26-a1d3d4019d-f17cbd13a1/settings.py

@@ -0,0 +1,80 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/gzip.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (608, 692)
+# IF SOS+
+# METHOD_RANGE = (653, 654)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""

python/data/tests-list/gzip/gzip-bug-2009-09-26-a1d3d4019d-f17cbd13a1/test.sh

@@ -0,0 +1,25 @@
+#!/bin/bash
+TEST_ID=$1
+DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+
+run_test()
+{
+    cd $DIR/src
+        timeout 5 /usr/bin/perl $DIR/gzip-run-tests.pl $1
+    RESULT=$?
+    if [ $RESULT = 0 ] ; then
+	echo "PASS"
+    else
+	echo "FAIL"
+    fi
+    cd ..
+    return 0
+}
+case $TEST_ID in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 3 && exit 0 ;; 
+    p3) run_test 4 && exit 0 ;; 
+    n1) run_test 7 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/gzip/gzip-bug-2009-09-26-a1d3d4019d-f17cbd13a1/tests-list.txt

@@ -0,0 +1,4 @@
+n1
+p1
+p2
+p3

python/data/tests-list/gzip/gzip-bug-2009-10-09-1a085b1446-118a107f2d/settings.py

@@ -0,0 +1,80 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/gzip.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (1254, 1438)
+# IF SOS+
+# METHOD_RANGE = (1269,1270)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""

python/data/tests-list/gzip/gzip-bug-2009-10-09-1a085b1446-118a107f2d/test.sh

@@ -0,0 +1,27 @@
+#!/bin/bash
+TEST_ID=$1
+DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+
+run_test()
+{
+    cd $DIR/src
+        timeout 5 perl $DIR/gzip-run-tests.pl $1
+    RESULT=$?
+    if [ $RESULT = 0 ] ; then
+	echo "PASS"
+    else
+	echo "FAIL"
+    fi
+    cd ..
+    return 0
+}
+case $TEST_ID in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 3 && exit 0 ;; 
+    p3) run_test 4 && exit 0 ;; 
+    p4) run_test 7 && exit 0 ;; 
+    p5) run_test 9 && exit 0 ;; 
+    n1) run_test 8 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/gzip/gzip-bug-2009-10-09-1a085b1446-118a107f2d/tests-list.txt

@@ -0,0 +1,6 @@
+n1
+p1
+p2
+p3
+p4
+p5

python/data/tests-list/gzip/gzip-bug-2010-02-19-3eb6091d69-884ef6d16c/settings.py

@@ -0,0 +1,80 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/gzip.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (409, 585)
+# IF SOS+
+# METHOD_RANGE = (546, 547)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""

python/data/tests-list/gzip/gzip-bug-2010-02-19-3eb6091d69-884ef6d16c/test.sh

@@ -0,0 +1,30 @@
+#!/bin/bash
+TEST_ID=$1
+DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+
+run_test()
+{
+    cd $DIR/src
+        timeout 5 perl $DIR/gzip-run-tests.pl $1
+    RESULT=$?
+    if [ $RESULT = 0 ] ; then
+	echo "PASS"
+    else
+	echo "FAIL"
+    fi
+    cd ..
+    return 0
+}
+case $TEST_ID in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 3 && exit 0 ;; 
+    p3) run_test 4 && exit 0 ;; 
+    p4) run_test 5 && exit 0 ;; 
+    p5) run_test 7 && exit 0 ;; 
+    p6) run_test 8 && exit 0 ;; 
+    p7) run_test 9 && exit 0 ;; 
+    p8) run_test 12 && exit 0 ;; 
+    n1) run_test 6 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/gzip/gzip-bug-2010-02-19-3eb6091d69-884ef6d16c/tests-list.txt

@@ -0,0 +1,9 @@
+n1
+p1
+p2
+p3
+p4
+p5
+p6
+p7
+p8

python/data/tests-list/gzip/makeout

@@ -0,0 +1,79 @@
+Making all in lib
+make[1]: Entering directory `/experiment/src/lib'
+  GEN      arg-nonnull.h
+  GEN      c++defs.h
+  GEN      configmake.h
+  GEN      warn-on-use.h
+  GEN      fcntl.h
+  GEN      stdio.h
+  GEN      string.h
+  GEN      sys/stat.h
+  GEN      sys/time.h
+  GEN      time.h
+  GEN      unistd.h
+  GEN      wchar.h
+  GEN      wctype.h
+make  all-recursive
+make[2]: Entering directory `/experiment/src/lib'
+make[3]: Entering directory `/experiment/src/lib'
+  GEN      charset.alias
+  GEN      ref-add.sed
+  GEN      ref-del.sed
+  CC       exitfail.o
+  CC       freadahead.o
+  CC       freading.o
+  CC       localcharset.o
+  CC       close-stream.o
+  CC       xalloc-die.o
+  CC       closein.o
+  CC       closeout.o
+  CC       creat-safer.o
+  CC       dup-safer.o
+  CC       fcntl.o
+  CC       fd-safer.o
+  CC       fflush.o
+  CC       fpurge.o
+  CC       fseeko.o
+  CC       gettime.o
+  CC       open-safer.o
+  CC       pipe-safer.o
+  CC       quotearg.o
+  CC       utimens.o
+  CC       xmalloc.o
+  CC       yesno.o
+  AR       libgzip.a
+make[3]: Leaving directory `/experiment/src/lib'
+make[2]: Leaving directory `/experiment/src/lib'
+make[1]: Leaving directory `/experiment/src/lib'
+Making all in doc
+make[1]: Entering directory `/experiment/src/doc'
+make[1]: Nothing to be done for `all'.
+make[1]: Leaving directory `/experiment/src/doc'
+make[1]: Entering directory `/experiment/src'
+  CC       bits.o
+  CC       crypt.o
+  CC       deflate.o
+  CC       gzip.o
+  CC       inflate.o
+  CC       lzw.o
+  CC       trees.o
+  CC       unlzh.o
+  CC       unlzw.o
+  CC       unpack.o
+  CC       unzip.o
+  CC       util.o
+  CC       zip.o
+  GEN      gunzip
+  GEN      gzexe
+  GEN      zcat
+  GEN      zcmp
+  GEN      zdiff
+  GEN      zegrep
+  GEN      zfgrep
+  GEN      zforce
+  GEN      zgrep
+  GEN      zless
+  GEN      zmore
+  GEN      znew
+  CCLD     gzip
+make[1]: Leaving directory `/experiment/src'

python/data/tests-list/gzip/test.sh

@@ -0,0 +1,24 @@
+#!/bin/bash
+TEST_ID=$1
+DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+
+run_test()
+{
+    cd $DIR/src
+        timeout 5 perl $DIR/gzip-run-tests.pl $1
+    RESULT=$?
+    if [ $RESULT = 0 ] ; then
+	echo "PASS"
+    else
+	echo "FAIL"
+    fi
+    cd ..
+    return 0
+}
+case $TEST_ID in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 4 && exit 0 ;; 
+    n1) run_test 3 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/libtiff/README.md

@@ -0,0 +1,23 @@
+## Running `libtiff` bugs
+
+After running the container you need to follow the following
+steps to prepare `SOSRepair` for running:
+
+1. Copy `makeout`, `compile.sh`, `test.sh` and `tests-list` to
+the container's `/experiment/`.
+2. Copy `settings.py` to the container's `/opt/sosrepair/sosrepair`.
+3. In the container, reconfigure the project with coverage flags:
+```
+cd /experiment/src
+./configure "CFLAGS=-fprofile-arcs -ftest-coverage" "CXXFLAGS=-fprofile-arcs -ftest-coverage" "LDFLAGS=-lgcov"
+make clean
+make
+```
+4. Run `/opt/sosrepair/prepare/setup.sh`.
+5. Set proper permissions by running `sudo chmod -R 777 /opt/sosrepair/sosrepair`.
+6. Setup environment variables:
+```
+export PYTHONPATH="/opt/sosrepair/bindings:${PYTHONPATH}"
+export CPATH=":/opt/sosrepair/include"
+export PATH="/opt/sosrepair/bin:$PATH"
+```

python/data/tests-list/libtiff/compile.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+cd $DIR/src
+#make clean
+(make && exit 0)|| exit 1
+
+

python/data/tests-list/libtiff/copy.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+
+
+CONTAINER=$1
+BUG=$2
+
+docker cp compile.sh $CONTAINER:/experiment/
+docker cp $BUG/test.sh $CONTAINER:/experiment/
+docker cp $BUG/tests-list.txt $CONTAINER:/experiment/
+docker cp $BUG/settings.py $CONTAINER:/opt/sosrepair/sosrepair/

python/data/tests-list/libtiff/libtiff-bug-2005-12-21-3b848a7-3edb9cd/settings.py

@@ -0,0 +1,83 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/libtiff/tif_dirread.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (72, 683)
+# IF SOS+
+# METHOD_RANGE = (589, 590)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""
+
+GCOV_OBJECTS = "/experiment/src/libtiff/.libs"

python/data/tests-list/libtiff/libtiff-bug-2005-12-21-3b848a7-3edb9cd/test.sh

@@ -0,0 +1,63 @@
+#!/bin/bash
+bugrev=3b848a7
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+run_test()
+{
+    cd $dir/src
+    /usr/bin/perl $dir/libtiff-run-tests.pl $1
+    RESULT=$?
+    
+    cd ..
+    return 0
+}
+
+run_test1()
+{
+    pushd $dir/src/test > /dev/null
+    test_script=$(sed "$1q;d" $dir/TESTS)
+    test_script_log="$test_script.log"
+    rm -f $test_script_log
+    timeout $timeout make $test_script_log
+    #timeout $timeout ./$test_script
+    return $?
+}
+
+case $1 in
+    p1) run_test 2 && exit 0 ;; 
+    p2) run_test 3 && exit 0 ;; 
+    p3) run_test 4 && exit 0 ;; 
+    p4) run_test 5 && exit 0 ;; 
+    p5) run_test 6 && exit 0 ;; 
+    p6) run_test 7 && exit 0 ;; 
+    p7) run_test 8 && exit 0 ;; 
+    p8) run_test 10 && exit 0 ;; 
+    p9) run_test 11 && exit 0 ;; 
+    p10) run_test 12 && exit 0 ;; 
+    p11) run_test 13 && exit 0 ;; 
+    p12) run_test 14 && exit 0 ;; 
+    p13) run_test 15 && exit 0 ;; 
+    p14) run_test 16 && exit 0 ;; 
+    p15) run_test 17 && exit 0 ;; 
+    p16) run_test 19 && exit 0 ;; 
+    p17) run_test 20 && exit 0 ;; 
+    p18) run_test 21 && exit 0 ;; 
+    p19) run_test 24 && exit 0 ;; 
+    p20) run_test 25 && exit 0 ;; 
+    p21) run_test 26 && exit 0 ;; 
+    p22) run_test 27 && exit 0 ;; 
+    p23) run_test 28 && exit 0 ;; 
+    p24) run_test 69 && exit 0 ;; 
+    p25) run_test 70 && exit 0 ;; 
+    p26) run_test 71 && exit 0 ;; 
+    p27) run_test 72 && exit 0 ;; 
+    p28) run_test 73 && exit 0 ;; 
+    p29) run_test 74 && exit 0 ;; 
+    p30) run_test 75 && exit 0 ;; 
+    p31) run_test 76 && exit 0 ;; 
+    p32) run_test 77 && exit 0 ;; 
+    p33) run_test 78 && exit 0 ;; 
+    n1) run_test 22 && exit 0 ;; 
+    n2) run_test 23 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/libtiff/libtiff-bug-2005-12-21-3b848a7-3edb9cd/tests-list.txt

@@ -0,0 +1,34 @@
+n1
+n2
+p1
+p2
+p3
+p5
+p6
+p7
+p8
+p9
+p10
+p11
+p12
+p13
+p14
+p15
+p16
+p17
+p18
+p19
+p20
+p21
+p22
+p23
+p24
+p25
+p26
+p27
+p28
+p29
+p30
+p31
+p32
+p33

python/data/tests-list/libtiff/libtiff-bug-2006-02-23-b2ce5d8-207c78a/settings.py

@@ -0,0 +1,83 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/libtiff/tif_dirwrite.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (83, 403)
+# IF SOS+
+# METHOD_RANGE = (338, 339)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""
+
+GCOV_OBJECTS = "/experiment/src/libtiff/.libs"

python/data/tests-list/libtiff/libtiff-bug-2006-02-23-b2ce5d8-207c78a/test.sh

@@ -0,0 +1,52 @@
+#!/bin/bash
+bugrev=b2ce5d8
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+
+run_test()
+{
+    cd $dir/src
+    /usr/bin/perl $dir/libtiff-run-tests.pl $1
+    RESULT=$?
+    
+    cd ..
+    return 0
+}
+case $1 in
+    p1) run_test 2 && exit 0 ;; 
+    p2) run_test 4 && exit 0 ;; 
+    p3) run_test 5 && exit 0 ;; 
+    p4) run_test 6 && exit 0 ;; 
+    p5) run_test 7 && exit 0 ;; 
+    p6) run_test 8 && exit 0 ;; 
+    p7) run_test 10 && exit 0 ;; 
+    p8) run_test 11 && exit 0 ;; 
+    p9) run_test 12 && exit 0 ;; 
+    p10) run_test 13 && exit 0 ;; 
+    p11) run_test 14 && exit 0 ;; 
+    p12) run_test 15 && exit 0 ;; 
+    p13) run_test 16 && exit 0 ;; 
+    p14) run_test 17 && exit 0 ;; 
+    p15) run_test 19 && exit 0 ;; 
+    p16) run_test 20 && exit 0 ;; 
+    p17) run_test 21 && exit 0 ;; 
+    p18) run_test 22 && exit 0 ;; 
+    p19) run_test 23 && exit 0 ;; 
+    p20) run_test 24 && exit 0 ;; 
+    p21) run_test 25 && exit 0 ;; 
+    p22) run_test 26 && exit 0 ;; 
+    p23) run_test 27 && exit 0 ;; 
+    p24) run_test 28 && exit 0 ;; 
+    p25) run_test 69 && exit 0 ;; 
+    p26) run_test 70 && exit 0 ;; 
+    p27) run_test 71 && exit 0 ;; 
+    p28) run_test 72 && exit 0 ;; 
+    p29) run_test 73 && exit 0 ;; 
+    p30) run_test 74 && exit 0 ;; 
+    p31) run_test 75 && exit 0 ;; 
+    p32) run_test 76 && exit 0 ;; 
+    p33) run_test 77 && exit 0 ;; 
+    p34) run_test 78 && exit 0 ;; 
+    n1) run_test 3 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/libtiff/libtiff-bug-2006-02-23-b2ce5d8-207c78a/tests-list.txt

@@ -0,0 +1,34 @@
+n1
+p1
+p2
+p4
+p5
+p6
+p7
+p8
+p9
+p10
+p11
+p12
+p13
+p14
+p15
+p16
+p17
+p18
+p19
+p20
+p21
+p22
+p23
+p24
+p25
+p26
+p27
+p28
+p29
+p30
+p31
+p32
+p33
+p34

python/data/tests-list/libtiff/libtiff-bug-2006-03-03-a72cf60-0a36d7f/settings.py

@@ -0,0 +1,83 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/libtiff/tif_dirread.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (972, 1018)
+# IF SOS+
+# METHOD_RANGE = (976, 977)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""
+
+GCOV_OBJECTS = "/experiment/src/libtiff/.libs"

python/data/tests-list/libtiff/libtiff-bug-2006-03-03-a72cf60-0a36d7f/test.sh

@@ -0,0 +1,53 @@
+#!/bin/bash
+bugrev=a72cf60
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+
+run_test()
+{
+    cd $dir/src
+    /usr/bin/perl $dir/libtiff-run-tests.pl $1
+    RESULT=$?
+
+    cd ..
+    return 0
+}
+case $1 in
+    p1) run_test 5 && exit 0 ;; 
+    p2) run_test 6 && exit 0 ;; 
+    p3) run_test 7 && exit 0 ;; 
+    p4) run_test 8 && exit 0 ;; 
+    p5) run_test 9 && exit 0 ;; 
+    p6) run_test 10 && exit 0 ;; 
+    p7) run_test 11 && exit 0 ;; 
+    p8) run_test 12 && exit 0 ;; 
+    p9) run_test 13 && exit 0 ;; 
+    p10) run_test 14 && exit 0 ;; 
+    p11) run_test 15 && exit 0 ;; 
+    p12) run_test 16 && exit 0 ;; 
+    p13) run_test 17 && exit 0 ;; 
+    p14) run_test 19 && exit 0 ;; 
+    p15) run_test 20 && exit 0 ;; 
+    p16) run_test 21 && exit 0 ;; 
+    p17) run_test 24 && exit 0 ;; 
+    p18) run_test 25 && exit 0 ;; 
+    p19) run_test 26 && exit 0 ;; 
+    p20) run_test 27 && exit 0 ;; 
+    p21) run_test 28 && exit 0 ;; 
+    p22) run_test 69 && exit 0 ;; 
+    p23) run_test 70 && exit 0 ;; 
+    p24) run_test 71 && exit 0 ;; 
+    p25) run_test 72 && exit 0 ;; 
+    p26) run_test 73 && exit 0 ;; 
+    p27) run_test 74 && exit 0 ;; 
+    p28) run_test 75 && exit 0 ;; 
+    p29) run_test 76 && exit 0 ;; 
+    p30) run_test 77 && exit 0 ;; 
+    p31) run_test 78 && exit 0 ;; 
+    n1) run_test 2 && exit 0 ;; 
+    n2) run_test 3 && exit 0 ;; 
+    n3) run_test 4 && exit 0 ;; 
+    n4) run_test 22 && exit 0 ;; 
+    n5) run_test 23 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/libtiff/libtiff-bug-2006-03-03-a72cf60-0a36d7f/tests-list.txt

@@ -0,0 +1,35 @@
+n1
+n2
+n3
+n4
+n5
+p2
+p3
+p4
+p5
+p6
+p7
+p8
+p9
+p10
+p11
+p12
+p13
+p14
+p15
+p16
+p17
+p18
+p19
+p20
+p21
+p22
+p23
+p24
+p25
+p26
+p27
+p28
+p29
+p30
+p31

python/data/tests-list/libtiff/libtiff-bug-2006-03-03-eec4c06-ee65c74/libtiff-bug-2006-03-03-a72cf60-0a36d7f/settings.py

@@ -0,0 +1,79 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/libtiff/tif_dirread.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (972, 1018)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""

python/data/tests-list/libtiff/libtiff-bug-2006-03-03-eec4c06-ee65c74/libtiff-bug-2006-03-03-a72cf60-0a36d7f/test.sh

@@ -0,0 +1,63 @@
+#!/bin/bash
+bugrev=a72cf60
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+#Check if coverage is being run. If so, don't use time limit.
+if [ `basename $1` = "coverage" ] ; then
+    cov=0
+else
+    cov=1
+fi
+
+run_test()
+{
+    cd $dir/src
+    if [ $cov -eq 0 ] ; then
+        /usr/bin/perl $dir/libtiff-run-tests.pl $1
+    else
+        $dir/limit /usr/bin/perl $dir/libtiff-run-tests.pl $1
+    fi
+    RESULT=$?
+
+    cd ..
+    return 0
+}
+case $2 in
+    p1) run_test 5 && exit 0 ;; 
+    p2) run_test 6 && exit 0 ;; 
+    p3) run_test 7 && exit 0 ;; 
+    p4) run_test 8 && exit 0 ;; 
+    p5) run_test 9 && exit 0 ;; 
+    p6) run_test 10 && exit 0 ;; 
+    p7) run_test 11 && exit 0 ;; 
+    p8) run_test 12 && exit 0 ;; 
+    p9) run_test 13 && exit 0 ;; 
+    p10) run_test 14 && exit 0 ;; 
+    p11) run_test 15 && exit 0 ;; 
+    p12) run_test 16 && exit 0 ;; 
+    p13) run_test 17 && exit 0 ;; 
+    p14) run_test 19 && exit 0 ;; 
+    p15) run_test 20 && exit 0 ;; 
+    p16) run_test 21 && exit 0 ;; 
+    p17) run_test 24 && exit 0 ;; 
+    p18) run_test 25 && exit 0 ;; 
+    p19) run_test 26 && exit 0 ;; 
+    p20) run_test 27 && exit 0 ;; 
+    p21) run_test 28 && exit 0 ;; 
+    p22) run_test 69 && exit 0 ;; 
+    p23) run_test 70 && exit 0 ;; 
+    p24) run_test 71 && exit 0 ;; 
+    p25) run_test 72 && exit 0 ;; 
+    p26) run_test 73 && exit 0 ;; 
+    p27) run_test 74 && exit 0 ;; 
+    p28) run_test 75 && exit 0 ;; 
+    p29) run_test 76 && exit 0 ;; 
+    p30) run_test 77 && exit 0 ;; 
+    p31) run_test 78 && exit 0 ;; 
+    n1) run_test 2 && exit 0 ;; 
+    n2) run_test 3 && exit 0 ;; 
+    n3) run_test 4 && exit 0 ;; 
+    n4) run_test 22 && exit 0 ;; 
+    n5) run_test 23 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/libtiff/libtiff-bug-2006-03-03-eec4c06-ee65c74/libtiff-bug-2006-03-03-a72cf60-0a36d7f/tests-list.txt

@@ -0,0 +1,35 @@
+n1
+n2
+n3
+n4
+n5
+p2
+p3
+p4
+p5
+p6
+p7
+p8
+p9
+p10
+p11
+p12
+p13
+p14
+p15
+p16
+p17
+p18
+p19
+p20
+p21
+p22
+p23
+p24
+p25
+p26
+p27
+p28
+p29
+p30
+p31

python/data/tests-list/libtiff/libtiff-bug-2006-03-03-eec4c06-ee65c74/settings.py

@@ -0,0 +1,83 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/libtiff/tif_dirread.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (972, 1018)
+# IF SOS+
+# METHOD_RANGE = (976, 977)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""
+
+GCOV_OBJECTS = "/experiment/src/libtiff/.libs"

python/data/tests-list/libtiff/libtiff-bug-2006-03-03-eec4c06-ee65c74/test.sh

@@ -0,0 +1,55 @@
+#!/bin/bash
+bugrev=eec4c06
+
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+
+run_test()
+{
+    cd $dir/src
+    /usr/bin/perl $dir/libtiff-run-tests.pl $1
+    RESULT=$?
+
+    cd ..
+    return 0
+}
+
+case $1 in
+    p1) run_test 5 && exit 0 ;; 
+    p2) run_test 6 && exit 0 ;; 
+    p3) run_test 7 && exit 0 ;; 
+    p4) run_test 8 && exit 0 ;; 
+    p5) run_test 9 && exit 0 ;; 
+    p6) run_test 10 && exit 0 ;; 
+    p7) run_test 11 && exit 0 ;; 
+    p8) run_test 12 && exit 0 ;; 
+    p9) run_test 13 && exit 0 ;; 
+    p10) run_test 14 && exit 0 ;; 
+    p11) run_test 15 && exit 0 ;; 
+    p12) run_test 16 && exit 0 ;; 
+    p13) run_test 17 && exit 0 ;; 
+    p14) run_test 19 && exit 0 ;; 
+    p15) run_test 20 && exit 0 ;; 
+    p16) run_test 21 && exit 0 ;; 
+    p17) run_test 24 && exit 0 ;; 
+    p18) run_test 25 && exit 0 ;; 
+    p19) run_test 26 && exit 0 ;; 
+    p20) run_test 27 && exit 0 ;; 
+    p21) run_test 28 && exit 0 ;; 
+    p22) run_test 69 && exit 0 ;; 
+    p23) run_test 70 && exit 0 ;; 
+    p24) run_test 71 && exit 0 ;; 
+    p25) run_test 72 && exit 0 ;; 
+    p26) run_test 73 && exit 0 ;; 
+    p27) run_test 74 && exit 0 ;; 
+    p28) run_test 75 && exit 0 ;; 
+    p29) run_test 76 && exit 0 ;; 
+    p30) run_test 77 && exit 0 ;; 
+    p31) run_test 78 && exit 0 ;; 
+    n1) run_test 2 && exit 0 ;; 
+    n2) run_test 3 && exit 0 ;; 
+    n3) run_test 4 && exit 0 ;; 
+    n4) run_test 22 && exit 0 ;; 
+    n5) run_test 23 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/libtiff/libtiff-bug-2006-03-03-eec4c06-ee65c74/tests-list.txt

@@ -0,0 +1,35 @@
+n1
+n2
+n3
+n4
+n5
+p2
+p3
+p4
+p5
+p6
+p7
+p8
+p9
+p10
+p11
+p12
+p13
+p14
+p15
+p16
+p17
+p18
+p19
+p20
+p21
+p22
+p23
+p24
+p25
+p26
+p27
+p28
+p29
+p30
+p31

python/data/tests-list/libtiff/libtiff-bug-2007-07-13-09e8220-f2d989d/notes.md

@@ -0,0 +1,3 @@
+To allow SOS+ to find the perfect patch you need to run it with
+flag `--all_patches`. Also limit the considered variables for
+insertion to `size` and `stripsize`.

python/data/tests-list/libtiff/libtiff-bug-2007-07-13-09e8220-f2d989d/settings.py

@@ -0,0 +1,83 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/libtiff/tif_read.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (126, 168)
+# IF SOS+
+# METHOD_RANGE = (164, 165)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""
+
+GCOV_OBJECTS = "/experiment/src/libtiff/.libs"

python/data/tests-list/libtiff/libtiff-bug-2007-07-13-09e8220-f2d989d/test.sh

@@ -0,0 +1,78 @@
+#!/bin/bash
+bugrev=09e8220
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+
+run_test()
+{
+    cd $dir/src
+    /usr/bin/perl $dir/libtiff-run-tests.pl $1
+    RESULT=$?
+
+    cd ..
+    return 0
+}
+case $1 in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 2 && exit 0 ;; 
+    p3) run_test 5 && exit 0 ;; 
+    p4) run_test 6 && exit 0 ;; 
+    p5) run_test 7 && exit 0 ;; 
+    p6) run_test 8 && exit 0 ;; 
+    p7) run_test 9 && exit 0 ;; 
+    p8) run_test 10 && exit 0 ;; 
+    p9) run_test 11 && exit 0 ;; 
+    p10) run_test 12 && exit 0 ;; 
+    p11) run_test 13 && exit 0 ;; 
+    p12) run_test 14 && exit 0 ;; 
+    p13) run_test 15 && exit 0 ;; 
+    p14) run_test 16 && exit 0 ;; 
+    p15) run_test 17 && exit 0 ;; 
+    p16) run_test 20 && exit 0 ;; 
+    p17) run_test 21 && exit 0 ;; 
+    p18) run_test 22 && exit 0 ;; 
+    p19) run_test 24 && exit 0 ;; 
+    p20) run_test 25 && exit 0 ;; 
+    p21) run_test 26 && exit 0 ;; 
+    p22) run_test 27 && exit 0 ;; 
+    p23) run_test 28 && exit 0 ;; 
+    p24) run_test 39 && exit 0 ;; 
+    p25) run_test 40 && exit 0 ;; 
+    p26) run_test 41 && exit 0 ;; 
+    p27) run_test 43 && exit 0 ;; 
+    p28) run_test 44 && exit 0 ;; 
+    p29) run_test 45 && exit 0 ;; 
+    p30) run_test 46 && exit 0 ;; 
+    p31) run_test 47 && exit 0 ;; 
+    p32) run_test 48 && exit 0 ;; 
+    p33) run_test 49 && exit 0 ;; 
+    p34) run_test 50 && exit 0 ;; 
+    p35) run_test 51 && exit 0 ;; 
+    p36) run_test 53 && exit 0 ;; 
+    p37) run_test 54 && exit 0 ;; 
+    p38) run_test 55 && exit 0 ;; 
+    p39) run_test 56 && exit 0 ;; 
+    p40) run_test 57 && exit 0 ;; 
+    p41) run_test 58 && exit 0 ;; 
+    p42) run_test 59 && exit 0 ;; 
+    p43) run_test 60 && exit 0 ;; 
+    p44) run_test 61 && exit 0 ;; 
+    p45) run_test 63 && exit 0 ;; 
+    p46) run_test 64 && exit 0 ;; 
+    p47) run_test 65 && exit 0 ;; 
+    p48) run_test 66 && exit 0 ;; 
+    p49) run_test 67 && exit 0 ;; 
+    p50) run_test 68 && exit 0 ;; 
+    p51) run_test 69 && exit 0 ;; 
+    p52) run_test 70 && exit 0 ;; 
+    p53) run_test 71 && exit 0 ;; 
+    p54) run_test 72 && exit 0 ;; 
+    p55) run_test 73 && exit 0 ;; 
+    p56) run_test 74 && exit 0 ;; 
+    p57) run_test 75 && exit 0 ;; 
+    p58) run_test 76 && exit 0 ;; 
+    p59) run_test 77 && exit 0 ;; 
+    p60) run_test 78 && exit 0 ;; 
+    n1) run_test 4 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/libtiff/libtiff-bug-2007-07-13-09e8220-f2d989d/tests-list.txt

@@ -0,0 +1,60 @@
+n1
+p1
+p2
+p4
+p5
+p6
+p7
+p8
+p9
+p10
+p11
+p12
+p13
+p14
+p15
+p16
+p17
+p18
+p19
+p20
+p21
+p22
+p23
+p24
+p25
+p26
+p27
+p28
+p29
+p30
+p31
+p32
+p33
+p34
+p35
+p36
+p37
+p38
+p39
+p40
+p41
+p42
+p43
+p44
+p45
+p46
+p47
+p48
+p49
+p50
+p51
+p52
+p53
+p54
+p55
+p56
+p57
+p58
+p59
+p60

python/data/tests-list/libtiff/libtiff-bug-2007-11-02-371336d-865f7b2/settings.py

@@ -0,0 +1,83 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/libtiff/tif_dirwrite.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (311, 853)
+# IF SOS+
+# METHOD_RANGE = (346, 347)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""
+
+GCOV_OBJECTS = "/experiment/src/libtiff/.libs"

python/data/tests-list/libtiff/libtiff-bug-2007-11-02-371336d-865f7b2/test.sh

@@ -0,0 +1,77 @@
+#!/bin/bash
+bugrev=371336d
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+run_test()
+{
+    cd $dir/src
+    /usr/bin/perl $dir/libtiff-run-tests.pl $1
+    RESULT=$?
+
+    cd ..
+    return 0
+}
+case $1 in    
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 2 && exit 0 ;; 
+    p3) run_test 4 && exit 0 ;; 
+    p4) run_test 5 && exit 0 ;; 
+    p5) run_test 6 && exit 0 ;; 
+    p6) run_test 7 && exit 0 ;; 
+    p7) run_test 8 && exit 0 ;; 
+    p8) run_test 9 && exit 0 ;; 
+    p9) run_test 10 && exit 0 ;; 
+    p10) run_test 11 && exit 0 ;; 
+    p11) run_test 12 && exit 0 ;; 
+    p12) run_test 13 && exit 0 ;; 
+    p13) run_test 14 && exit 0 ;; 
+    p14) run_test 15 && exit 0 ;; 
+    p15) run_test 16 && exit 0 ;; 
+    p16) run_test 17 && exit 0 ;; 
+    p17) run_test 20 && exit 0 ;; 
+    p18) run_test 21 && exit 0 ;; 
+    p19) run_test 24 && exit 0 ;; 
+    p20) run_test 25 && exit 0 ;; 
+    p21) run_test 26 && exit 0 ;; 
+    p22) run_test 27 && exit 0 ;; 
+    p23) run_test 28 && exit 0 ;; 
+    p24) run_test 39 && exit 0 ;; 
+    p25) run_test 40 && exit 0 ;; 
+    p26) run_test 41 && exit 0 ;; 
+    p27) run_test 43 && exit 0 ;; 
+    p28) run_test 44 && exit 0 ;; 
+    p29) run_test 45 && exit 0 ;; 
+    p30) run_test 46 && exit 0 ;; 
+    p31) run_test 47 && exit 0 ;; 
+    p32) run_test 48 && exit 0 ;; 
+    p33) run_test 49 && exit 0 ;; 
+    p34) run_test 50 && exit 0 ;; 
+    p35) run_test 51 && exit 0 ;; 
+    p36) run_test 53 && exit 0 ;; 
+    p37) run_test 54 && exit 0 ;; 
+    p38) run_test 55 && exit 0 ;; 
+    p39) run_test 56 && exit 0 ;; 
+    p40) run_test 57 && exit 0 ;; 
+    p41) run_test 58 && exit 0 ;; 
+    p42) run_test 59 && exit 0 ;; 
+    p43) run_test 60 && exit 0 ;; 
+    p44) run_test 61 && exit 0 ;; 
+    p45) run_test 63 && exit 0 ;; 
+    p46) run_test 64 && exit 0 ;; 
+    p47) run_test 65 && exit 0 ;; 
+    p48) run_test 66 && exit 0 ;; 
+    p49) run_test 67 && exit 0 ;; 
+    p50) run_test 68 && exit 0 ;; 
+    p51) run_test 69 && exit 0 ;; 
+    p52) run_test 70 && exit 0 ;; 
+    p53) run_test 71 && exit 0 ;; 
+    p54) run_test 72 && exit 0 ;; 
+    p55) run_test 73 && exit 0 ;; 
+    p56) run_test 74 && exit 0 ;; 
+    p57) run_test 75 && exit 0 ;; 
+    p58) run_test 76 && exit 0 ;; 
+    p59) run_test 77 && exit 0 ;; 
+    p60) run_test 78 && exit 0 ;; 
+    n1) run_test 22 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/libtiff/libtiff-bug-2007-11-02-371336d-865f7b2/tests-list.txt

@@ -0,0 +1,60 @@
+n1
+p1
+p2
+p3
+p5
+p6
+p7
+p8
+p9
+p10
+p11
+p12
+p13
+p14
+p15
+p16
+p17
+p18
+p19
+p20
+p21
+p22
+p23
+p24
+p25
+p26
+p27
+p28
+p29
+p30
+p31
+p32
+p33
+p34
+p35
+p36
+p37
+p38
+p39
+p40
+p41
+p42
+p43
+p44
+p45
+p46
+p47
+p48
+p49
+p50
+p51
+p52
+p53
+p54
+p55
+p56
+p57
+p58
+p59
+p60

python/data/tests-list/libtiff/libtiff-bug-2009-02-05-764dbba-2e42d63/settings.py

@@ -0,0 +1,84 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/tools/tiffcrop.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/experiment/src/libtiff",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (4950, 5131)
+# IF SOS+
+# METHOD_RANGE = (4969, 4970)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""
+
+GCOV_OBJECTS = ""

python/data/tests-list/libtiff/libtiff-bug-2009-02-05-764dbba-2e42d63/test.sh

@@ -0,0 +1,90 @@
+#!/bin/bash
+bugrev=764dbba
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+
+run_test()
+{
+    cd $dir/src
+    /usr/bin/perl $dir/libtiff-run-tests.pl $1
+    RESULT=$?
+
+    cd ..
+    return 0
+}
+case $1 in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 2 && exit 0 ;; 
+    p3) run_test 3 && exit 0 ;; 
+    p4) run_test 4 && exit 0 ;; 
+    p5) run_test 5 && exit 0 ;; 
+    p6) run_test 6 && exit 0 ;; 
+    p7) run_test 7 && exit 0 ;; 
+    p8) run_test 8 && exit 0 ;; 
+    p9) run_test 9 && exit 0 ;; 
+    p10) run_test 10 && exit 0 ;; 
+    p11) run_test 11 && exit 0 ;; 
+    p12) run_test 12 && exit 0 ;; 
+    p13) run_test 13 && exit 0 ;; 
+    p14) run_test 14 && exit 0 ;; 
+    p15) run_test 15 && exit 0 ;; 
+    p16) run_test 16 && exit 0 ;; 
+    p17) run_test 17 && exit 0 ;; 
+    p18) run_test 19 && exit 0 ;; 
+    p19) run_test 20 && exit 0 ;; 
+    p20) run_test 21 && exit 0 ;; 
+    p21) run_test 22 && exit 0 ;; 
+    p22) run_test 23 && exit 0 ;; 
+    p23) run_test 24 && exit 0 ;; 
+    p24) run_test 25 && exit 0 ;; 
+    p25) run_test 26 && exit 0 ;; 
+    p26) run_test 27 && exit 0 ;; 
+    p27) run_test 28 && exit 0 ;; 
+    p28) run_test 29 && exit 0 ;; 
+    p29) run_test 30 && exit 0 ;; 
+    p30) run_test 31 && exit 0 ;; 
+    p31) run_test 33 && exit 0 ;; 
+    p32) run_test 34 && exit 0 ;; 
+    p33) run_test 35 && exit 0 ;; 
+    p34) run_test 36 && exit 0 ;; 
+    p35) run_test 37 && exit 0 ;; 
+    p36) run_test 38 && exit 0 ;; 
+    p37) run_test 49 && exit 0 ;; 
+    p38) run_test 50 && exit 0 ;; 
+    p39) run_test 51 && exit 0 ;; 
+    p40) run_test 53 && exit 0 ;; 
+    p41) run_test 54 && exit 0 ;; 
+    p42) run_test 55 && exit 0 ;; 
+    p43) run_test 56 && exit 0 ;; 
+    p44) run_test 57 && exit 0 ;; 
+    p45) run_test 58 && exit 0 ;; 
+    p46) run_test 59 && exit 0 ;; 
+    p47) run_test 60 && exit 0 ;; 
+    p48) run_test 61 && exit 0 ;; 
+    p49) run_test 63 && exit 0 ;; 
+    p50) run_test 64 && exit 0 ;; 
+    p51) run_test 65 && exit 0 ;; 
+    p52) run_test 66 && exit 0 ;; 
+    p53) run_test 67 && exit 0 ;; 
+    p54) run_test 68 && exit 0 ;; 
+    p55) run_test 69 && exit 0 ;; 
+    p56) run_test 70 && exit 0 ;; 
+    p57) run_test 71 && exit 0 ;; 
+    p58) run_test 72 && exit 0 ;; 
+    p59) run_test 73 && exit 0 ;; 
+    p60) run_test 74 && exit 0 ;; 
+    p61) run_test 75 && exit 0 ;; 
+    p62) run_test 76 && exit 0 ;; 
+    p63) run_test 77 && exit 0 ;; 
+    p64) run_test 78 && exit 0 ;; 
+    n1) run_test 39 && exit 0 ;; 
+    n2) run_test 40 && exit 0 ;; 
+    n3) run_test 41 && exit 0 ;; 
+    n4) run_test 43 && exit 0 ;; 
+    n5) run_test 44 && exit 0 ;; 
+    n6) run_test 45 && exit 0 ;; 
+    n7) run_test 46 && exit 0 ;; 
+    n8) run_test 47 && exit 0 ;; 
+    n9) run_test 48 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/libtiff/libtiff-bug-2009-02-05-764dbba-2e42d63/tests-list.txt

@@ -0,0 +1,72 @@
+n1
+n2
+n3
+n4
+n5
+n6
+n7
+n8
+n9
+p1
+p2
+p3
+p4
+p5
+p6
+p7
+p8
+p9
+p10
+p11
+p12
+p13
+p14
+p15
+p16
+p17
+p18
+p19
+p20
+p21
+p23
+p24
+p25
+p26
+p27
+p28
+p29
+p30
+p31
+p32
+p33
+p34
+p35
+p36
+p37
+p38
+p39
+p40
+p41
+p42
+p43
+p44
+p45
+p46
+p47
+p48
+p49
+p50
+p51
+p52
+p53
+p54
+p55
+p56
+p57
+p58
+p59
+p60
+p61
+p62
+p63
+p64

python/data/tests-list/libtiff/libtiff-bug-2009-08-28-e8a47d4-023b6df/settings.py

@@ -0,0 +1,83 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/tools/tiffinfo.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (69, 161)
+# IF SOS+
+# METHOD_RANGE = (132, 134)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""
+
+GCOV_OBJECTS = ""

python/data/tests-list/libtiff/libtiff-bug-2009-08-28-e8a47d4-023b6df/test.sh

@@ -0,0 +1,91 @@
+#!/bin/bash
+bugrev=e8a47d4
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+
+run_test()
+{
+    cd $dir/src
+    /usr/bin/perl $dir/libtiff-run-tests.pl $1
+    RESULT=$?
+
+    cd ..
+    return 0
+}
+case $1 in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 2 && exit 0 ;; 
+    p3) run_test 3 && exit 0 ;; 
+    p4) run_test 4 && exit 0 ;; 
+    p5) run_test 5 && exit 0 ;; 
+    p6) run_test 6 && exit 0 ;; 
+    p7) run_test 7 && exit 0 ;; 
+    p8) run_test 8 && exit 0 ;; 
+    p9) run_test 9 && exit 0 ;; 
+    p10) run_test 10 && exit 0 ;; 
+    p11) run_test 11 && exit 0 ;; 
+    p12) run_test 12 && exit 0 ;; 
+    p13) run_test 13 && exit 0 ;; 
+    p14) run_test 14 && exit 0 ;; 
+    p15) run_test 15 && exit 0 ;; 
+    p16) run_test 16 && exit 0 ;; 
+    p17) run_test 17 && exit 0 ;; 
+    p18) run_test 18 && exit 0 ;; 
+    p19) run_test 19 && exit 0 ;; 
+    p20) run_test 20 && exit 0 ;; 
+    p21) run_test 21 && exit 0 ;; 
+    p22) run_test 22 && exit 0 ;; 
+    p23) run_test 23 && exit 0 ;; 
+    p24) run_test 24 && exit 0 ;; 
+    p25) run_test 25 && exit 0 ;; 
+    p26) run_test 26 && exit 0 ;; 
+    p27) run_test 27 && exit 0 ;; 
+    p28) run_test 28 && exit 0 ;; 
+    p29) run_test 29 && exit 0 ;; 
+    p30) run_test 30 && exit 0 ;; 
+    p31) run_test 31 && exit 0 ;; 
+    p32) run_test 33 && exit 0 ;; 
+    p33) run_test 34 && exit 0 ;; 
+    p34) run_test 35 && exit 0 ;; 
+    p35) run_test 36 && exit 0 ;; 
+    p36) run_test 37 && exit 0 ;; 
+    p37) run_test 38 && exit 0 ;; 
+    p38) run_test 39 && exit 0 ;; 
+    p39) run_test 40 && exit 0 ;; 
+    p40) run_test 41 && exit 0 ;; 
+    p41) run_test 43 && exit 0 ;; 
+    p42) run_test 44 && exit 0 ;; 
+    p43) run_test 45 && exit 0 ;; 
+    p44) run_test 46 && exit 0 ;; 
+    p45) run_test 47 && exit 0 ;; 
+    p46) run_test 48 && exit 0 ;; 
+    p47) run_test 50 && exit 0 ;; 
+    p48) run_test 51 && exit 0 ;; 
+    p49) run_test 53 && exit 0 ;; 
+    p50) run_test 54 && exit 0 ;; 
+    p51) run_test 55 && exit 0 ;; 
+    p52) run_test 56 && exit 0 ;; 
+    p53) run_test 57 && exit 0 ;; 
+    p54) run_test 58 && exit 0 ;; 
+    p55) run_test 59 && exit 0 ;; 
+    p56) run_test 60 && exit 0 ;; 
+    p57) run_test 61 && exit 0 ;; 
+    p58) run_test 63 && exit 0 ;; 
+    p59) run_test 64 && exit 0 ;; 
+    p60) run_test 65 && exit 0 ;; 
+    p61) run_test 66 && exit 0 ;; 
+    p62) run_test 67 && exit 0 ;; 
+    p63) run_test 68 && exit 0 ;; 
+    p64) run_test 69 && exit 0 ;; 
+    p65) run_test 70 && exit 0 ;; 
+    p66) run_test 71 && exit 0 ;; 
+    p67) run_test 72 && exit 0 ;; 
+    p68) run_test 73 && exit 0 ;; 
+    p69) run_test 74 && exit 0 ;; 
+    p70) run_test 75 && exit 0 ;; 
+    p71) run_test 76 && exit 0 ;; 
+    p72) run_test 77 && exit 0 ;; 
+    p73) run_test 78 && exit 0 ;; 
+    n1) run_test 49 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/libtiff/libtiff-bug-2009-08-28-e8a47d4-023b6df/tests-list.txt

@@ -0,0 +1,74 @@
+n1
+p1
+p2
+p3
+p4
+p5
+p6
+p7
+p8
+p9
+p10
+p11
+p12
+p13
+p14
+p15
+p16
+p17
+p18
+p19
+p20
+p21
+p22
+p23
+p24
+p25
+p26
+p27
+p28
+p29
+p30
+p31
+p32
+p33
+p34
+p35
+p36
+p37
+p38
+p39
+p40
+p41
+p42
+p43
+p44
+p45
+p46
+p47
+p48
+p49
+p50
+p51
+p52
+p53
+p54
+p55
+p56
+p57
+p58
+p59
+p60
+p61
+p62
+p63
+p64
+p65
+p66
+p67
+p68
+p69
+p70
+p71
+p72
+p73

python/data/tests-list/libtiff/libtiff-bug-2010-11-27-eb326f9-eec7ec0/settings.py

@@ -0,0 +1,83 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/tools/tiff2pdf.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (559, 784)
+# IF SOS+
+# METHOD_RANGE = (769, 770)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""
+
+GCOV_OBJECTS = ""

python/data/tests-list/libtiff/libtiff-bug-2010-11-27-eb326f9-eec7ec0/test.sh

@@ -0,0 +1,93 @@
+#!/bin/bash
+bugrev=eb326f9
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+run_test()
+{
+    cd $dir/src
+    /usr/bin/perl $dir/libtiff-run-tests.pl $1
+    RESULT=$?
+
+    cd ..
+    return 0
+}
+case $1 in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 2 && exit 0 ;; 
+    p3) run_test 3 && exit 0 ;; 
+    p4) run_test 4 && exit 0 ;; 
+    p5) run_test 5 && exit 0 ;; 
+    p6) run_test 6 && exit 0 ;; 
+    p7) run_test 7 && exit 0 ;; 
+    p8) run_test 8 && exit 0 ;; 
+    p9) run_test 9 && exit 0 ;; 
+    p10) run_test 10 && exit 0 ;; 
+    p11) run_test 11 && exit 0 ;; 
+    p12) run_test 12 && exit 0 ;; 
+    p13) run_test 13 && exit 0 ;; 
+    p14) run_test 14 && exit 0 ;; 
+    p15) run_test 15 && exit 0 ;; 
+    p16) run_test 16 && exit 0 ;; 
+    p17) run_test 17 && exit 0 ;; 
+    p18) run_test 18 && exit 0 ;; 
+    p19) run_test 19 && exit 0 ;; 
+    p20) run_test 20 && exit 0 ;; 
+    p21) run_test 21 && exit 0 ;; 
+    p22) run_test 22 && exit 0 ;; 
+    p23) run_test 23 && exit 0 ;; 
+    p24) run_test 24 && exit 0 ;; 
+    p25) run_test 25 && exit 0 ;; 
+    p26) run_test 26 && exit 0 ;; 
+    p27) run_test 27 && exit 0 ;; 
+    p28) run_test 29 && exit 0 ;; 
+    p29) run_test 30 && exit 0 ;; 
+    p30) run_test 31 && exit 0 ;; 
+    p31) run_test 32 && exit 0 ;; 
+    p32) run_test 33 && exit 0 ;; 
+    p33) run_test 34 && exit 0 ;; 
+    p34) run_test 35 && exit 0 ;; 
+    p35) run_test 36 && exit 0 ;; 
+    p36) run_test 37 && exit 0 ;; 
+    p37) run_test 38 && exit 0 ;; 
+    p38) run_test 39 && exit 0 ;; 
+    p39) run_test 40 && exit 0 ;; 
+    p40) run_test 41 && exit 0 ;; 
+    p41) run_test 42 && exit 0 ;; 
+    p42) run_test 43 && exit 0 ;; 
+    p43) run_test 44 && exit 0 ;; 
+    p44) run_test 45 && exit 0 ;; 
+    p45) run_test 46 && exit 0 ;; 
+    p46) run_test 47 && exit 0 ;; 
+    p47) run_test 48 && exit 0 ;; 
+    p48) run_test 50 && exit 0 ;; 
+    p49) run_test 51 && exit 0 ;; 
+    p50) run_test 52 && exit 0 ;; 
+    p51) run_test 53 && exit 0 ;; 
+    p52) run_test 54 && exit 0 ;; 
+    p53) run_test 55 && exit 0 ;; 
+    p54) run_test 56 && exit 0 ;; 
+    p55) run_test 57 && exit 0 ;; 
+    p56) run_test 58 && exit 0 ;; 
+    p57) run_test 59 && exit 0 ;; 
+    p58) run_test 60 && exit 0 ;; 
+    p59) run_test 61 && exit 0 ;; 
+    p60) run_test 62 && exit 0 ;; 
+    p61) run_test 63 && exit 0 ;; 
+    p62) run_test 64 && exit 0 ;; 
+    p63) run_test 65 && exit 0 ;; 
+    p64) run_test 66 && exit 0 ;; 
+    p65) run_test 67 && exit 0 ;; 
+    p66) run_test 68 && exit 0 ;; 
+    p67) run_test 69 && exit 0 ;; 
+    p68) run_test 70 && exit 0 ;; 
+    p69) run_test 71 && exit 0 ;; 
+    p70) run_test 72 && exit 0 ;; 
+    p71) run_test 73 && exit 0 ;; 
+    p72) run_test 74 && exit 0 ;; 
+    p73) run_test 75 && exit 0 ;; 
+    p74) run_test 76 && exit 0 ;; 
+    p75) run_test 77 && exit 0 ;; 
+    p76) run_test 78 && exit 0 ;; 
+    n1) run_test 28 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/libtiff/libtiff-bug-2010-11-27-eb326f9-eec7ec0/tests-list.txt

@@ -0,0 +1,76 @@
+n1
+p1
+p2
+p3
+p4
+p5
+p6
+p7
+p8
+p9
+p10
+p11
+p12
+p13
+p14
+p15
+p16
+p17
+p18
+p19
+p20
+p21
+p23
+p24
+p25
+p26
+p27
+p28
+p29
+p30
+p31
+p32
+p33
+p34
+p35
+p36
+p37
+p38
+p39
+p40
+p41
+p42
+p43
+p44
+p45
+p46
+p47
+p48
+p49
+p50
+p51
+p52
+p53
+p54
+p55
+p56
+p57
+p58
+p59
+p60
+p61
+p62
+p63
+p64
+p65
+p66
+p67
+p68
+p69
+p70
+p71
+p72
+p73
+p74
+p75
+p76

python/data/tests-list/libtiff/makeout

@@ -0,0 +1,675 @@
+Making all in port
+make[1]: Entering directory `/experiment/src/port'
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff     -m32 -Wall -MT dummy.lo -MD -MP -MF ".deps/dummy.Tpo" -c -o dummy.lo dummy.c; \
+	then mv -f ".deps/dummy.Tpo" ".deps/dummy.Plo"; else rm -f ".deps/dummy.Tpo"; exit 1; fi
+mkdir .libs
+ gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -m32 -Wall -MT dummy.lo -MD -MP -MF .deps/dummy.Tpo -c dummy.c  -fPIC -DPIC -o .libs/dummy.o
+dummy.c:8:1: warning: 'libport_dummy_function' defined but not used [-Wunused-function]
+ libport_dummy_function()
+ ^
+ gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -m32 -Wall -MT dummy.lo -MD -MP -MF .deps/dummy.Tpo -c dummy.c -o dummy.o >/dev/null 2>&1
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o libport.la   dummy.lo  -lm -lc 
+ar cru .libs/libport.a .libs/dummy.o
+ranlib .libs/libport.a
+creating libport.la
+(cd .libs && rm -f libport.la && ln -s ../libport.la libport.la)
+make[1]: Leaving directory `/experiment/src/port'
+Making all in libtiff
+make[1]: Entering directory `/experiment/src/libtiff'
+make  all-am
+make[2]: Entering directory `/experiment/src/libtiff'
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_aux.lo -MD -MP -MF ".deps/tif_aux.Tpo" -c -o tif_aux.lo tif_aux.c; \
+	then mv -f ".deps/tif_aux.Tpo" ".deps/tif_aux.Plo"; else rm -f ".deps/tif_aux.Tpo"; exit 1; fi
+mkdir .libs
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_aux.lo -MD -MP -MF .deps/tif_aux.Tpo -c tif_aux.c  -fPIC -DPIC -o .libs/tif_aux.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_aux.lo -MD -MP -MF .deps/tif_aux.Tpo -c tif_aux.c -o tif_aux.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_close.lo -MD -MP -MF ".deps/tif_close.Tpo" -c -o tif_close.lo tif_close.c; \
+	then mv -f ".deps/tif_close.Tpo" ".deps/tif_close.Plo"; else rm -f ".deps/tif_close.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_close.lo -MD -MP -MF .deps/tif_close.Tpo -c tif_close.c  -fPIC -DPIC -o .libs/tif_close.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_close.lo -MD -MP -MF .deps/tif_close.Tpo -c tif_close.c -o tif_close.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_codec.lo -MD -MP -MF ".deps/tif_codec.Tpo" -c -o tif_codec.lo tif_codec.c; \
+	then mv -f ".deps/tif_codec.Tpo" ".deps/tif_codec.Plo"; else rm -f ".deps/tif_codec.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_codec.lo -MD -MP -MF .deps/tif_codec.Tpo -c tif_codec.c  -fPIC -DPIC -o .libs/tif_codec.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_codec.lo -MD -MP -MF .deps/tif_codec.Tpo -c tif_codec.c -o tif_codec.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_color.lo -MD -MP -MF ".deps/tif_color.Tpo" -c -o tif_color.lo tif_color.c; \
+	then mv -f ".deps/tif_color.Tpo" ".deps/tif_color.Plo"; else rm -f ".deps/tif_color.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_color.lo -MD -MP -MF .deps/tif_color.Tpo -c tif_color.c  -fPIC -DPIC -o .libs/tif_color.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_color.lo -MD -MP -MF .deps/tif_color.Tpo -c tif_color.c -o tif_color.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_compress.lo -MD -MP -MF ".deps/tif_compress.Tpo" -c -o tif_compress.lo tif_compress.c; \
+	then mv -f ".deps/tif_compress.Tpo" ".deps/tif_compress.Plo"; else rm -f ".deps/tif_compress.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_compress.lo -MD -MP -MF .deps/tif_compress.Tpo -c tif_compress.c  -fPIC -DPIC -o .libs/tif_compress.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_compress.lo -MD -MP -MF .deps/tif_compress.Tpo -c tif_compress.c -o tif_compress.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_dir.lo -MD -MP -MF ".deps/tif_dir.Tpo" -c -o tif_dir.lo tif_dir.c; \
+	then mv -f ".deps/tif_dir.Tpo" ".deps/tif_dir.Plo"; else rm -f ".deps/tif_dir.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_dir.lo -MD -MP -MF .deps/tif_dir.Tpo -c tif_dir.c  -fPIC -DPIC -o .libs/tif_dir.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_dir.lo -MD -MP -MF .deps/tif_dir.Tpo -c tif_dir.c -o tif_dir.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_dirinfo.lo -MD -MP -MF ".deps/tif_dirinfo.Tpo" -c -o tif_dirinfo.lo tif_dirinfo.c; \
+	then mv -f ".deps/tif_dirinfo.Tpo" ".deps/tif_dirinfo.Plo"; else rm -f ".deps/tif_dirinfo.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_dirinfo.lo -MD -MP -MF .deps/tif_dirinfo.Tpo -c tif_dirinfo.c  -fPIC -DPIC -o .libs/tif_dirinfo.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_dirinfo.lo -MD -MP -MF .deps/tif_dirinfo.Tpo -c tif_dirinfo.c -o tif_dirinfo.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_dirread.lo -MD -MP -MF ".deps/tif_dirread.Tpo" -c -o tif_dirread.lo tif_dirread.c; \
+	then mv -f ".deps/tif_dirread.Tpo" ".deps/tif_dirread.Plo"; else rm -f ".deps/tif_dirread.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_dirread.lo -MD -MP -MF .deps/tif_dirread.Tpo -c tif_dirread.c  -fPIC -DPIC -o .libs/tif_dirread.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_dirread.lo -MD -MP -MF .deps/tif_dirread.Tpo -c tif_dirread.c -o tif_dirread.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_dirwrite.lo -MD -MP -MF ".deps/tif_dirwrite.Tpo" -c -o tif_dirwrite.lo tif_dirwrite.c; \
+	then mv -f ".deps/tif_dirwrite.Tpo" ".deps/tif_dirwrite.Plo"; else rm -f ".deps/tif_dirwrite.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_dirwrite.lo -MD -MP -MF .deps/tif_dirwrite.Tpo -c tif_dirwrite.c  -fPIC -DPIC -o .libs/tif_dirwrite.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_dirwrite.lo -MD -MP -MF .deps/tif_dirwrite.Tpo -c tif_dirwrite.c -o tif_dirwrite.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_dumpmode.lo -MD -MP -MF ".deps/tif_dumpmode.Tpo" -c -o tif_dumpmode.lo tif_dumpmode.c; \
+	then mv -f ".deps/tif_dumpmode.Tpo" ".deps/tif_dumpmode.Plo"; else rm -f ".deps/tif_dumpmode.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_dumpmode.lo -MD -MP -MF .deps/tif_dumpmode.Tpo -c tif_dumpmode.c  -fPIC -DPIC -o .libs/tif_dumpmode.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_dumpmode.lo -MD -MP -MF .deps/tif_dumpmode.Tpo -c tif_dumpmode.c -o tif_dumpmode.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_error.lo -MD -MP -MF ".deps/tif_error.Tpo" -c -o tif_error.lo tif_error.c; \
+	then mv -f ".deps/tif_error.Tpo" ".deps/tif_error.Plo"; else rm -f ".deps/tif_error.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_error.lo -MD -MP -MF .deps/tif_error.Tpo -c tif_error.c  -fPIC -DPIC -o .libs/tif_error.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_error.lo -MD -MP -MF .deps/tif_error.Tpo -c tif_error.c -o tif_error.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_extension.lo -MD -MP -MF ".deps/tif_extension.Tpo" -c -o tif_extension.lo tif_extension.c; \
+	then mv -f ".deps/tif_extension.Tpo" ".deps/tif_extension.Plo"; else rm -f ".deps/tif_extension.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_extension.lo -MD -MP -MF .deps/tif_extension.Tpo -c tif_extension.c  -fPIC -DPIC -o .libs/tif_extension.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_extension.lo -MD -MP -MF .deps/tif_extension.Tpo -c tif_extension.c -o tif_extension.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_fax3.lo -MD -MP -MF ".deps/tif_fax3.Tpo" -c -o tif_fax3.lo tif_fax3.c; \
+	then mv -f ".deps/tif_fax3.Tpo" ".deps/tif_fax3.Plo"; else rm -f ".deps/tif_fax3.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_fax3.lo -MD -MP -MF .deps/tif_fax3.Tpo -c tif_fax3.c  -fPIC -DPIC -o .libs/tif_fax3.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_fax3.lo -MD -MP -MF .deps/tif_fax3.Tpo -c tif_fax3.c -o tif_fax3.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_fax3sm.lo -MD -MP -MF ".deps/tif_fax3sm.Tpo" -c -o tif_fax3sm.lo tif_fax3sm.c; \
+	then mv -f ".deps/tif_fax3sm.Tpo" ".deps/tif_fax3sm.Plo"; else rm -f ".deps/tif_fax3sm.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_fax3sm.lo -MD -MP -MF .deps/tif_fax3sm.Tpo -c tif_fax3sm.c  -fPIC -DPIC -o .libs/tif_fax3sm.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_fax3sm.lo -MD -MP -MF .deps/tif_fax3sm.Tpo -c tif_fax3sm.c -o tif_fax3sm.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_flush.lo -MD -MP -MF ".deps/tif_flush.Tpo" -c -o tif_flush.lo tif_flush.c; \
+	then mv -f ".deps/tif_flush.Tpo" ".deps/tif_flush.Plo"; else rm -f ".deps/tif_flush.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_flush.lo -MD -MP -MF .deps/tif_flush.Tpo -c tif_flush.c  -fPIC -DPIC -o .libs/tif_flush.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_flush.lo -MD -MP -MF .deps/tif_flush.Tpo -c tif_flush.c -o tif_flush.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_getimage.lo -MD -MP -MF ".deps/tif_getimage.Tpo" -c -o tif_getimage.lo tif_getimage.c; \
+	then mv -f ".deps/tif_getimage.Tpo" ".deps/tif_getimage.Plo"; else rm -f ".deps/tif_getimage.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_getimage.lo -MD -MP -MF .deps/tif_getimage.Tpo -c tif_getimage.c  -fPIC -DPIC -o .libs/tif_getimage.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_getimage.lo -MD -MP -MF .deps/tif_getimage.Tpo -c tif_getimage.c -o tif_getimage.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_jpeg.lo -MD -MP -MF ".deps/tif_jpeg.Tpo" -c -o tif_jpeg.lo tif_jpeg.c; \
+	then mv -f ".deps/tif_jpeg.Tpo" ".deps/tif_jpeg.Plo"; else rm -f ".deps/tif_jpeg.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_jpeg.lo -MD -MP -MF .deps/tif_jpeg.Tpo -c tif_jpeg.c  -fPIC -DPIC -o .libs/tif_jpeg.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_jpeg.lo -MD -MP -MF .deps/tif_jpeg.Tpo -c tif_jpeg.c -o tif_jpeg.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_luv.lo -MD -MP -MF ".deps/tif_luv.Tpo" -c -o tif_luv.lo tif_luv.c; \
+	then mv -f ".deps/tif_luv.Tpo" ".deps/tif_luv.Plo"; else rm -f ".deps/tif_luv.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_luv.lo -MD -MP -MF .deps/tif_luv.Tpo -c tif_luv.c  -fPIC -DPIC -o .libs/tif_luv.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_luv.lo -MD -MP -MF .deps/tif_luv.Tpo -c tif_luv.c -o tif_luv.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_lzw.lo -MD -MP -MF ".deps/tif_lzw.Tpo" -c -o tif_lzw.lo tif_lzw.c; \
+	then mv -f ".deps/tif_lzw.Tpo" ".deps/tif_lzw.Plo"; else rm -f ".deps/tif_lzw.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_lzw.lo -MD -MP -MF .deps/tif_lzw.Tpo -c tif_lzw.c  -fPIC -DPIC -o .libs/tif_lzw.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_lzw.lo -MD -MP -MF .deps/tif_lzw.Tpo -c tif_lzw.c -o tif_lzw.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_next.lo -MD -MP -MF ".deps/tif_next.Tpo" -c -o tif_next.lo tif_next.c; \
+	then mv -f ".deps/tif_next.Tpo" ".deps/tif_next.Plo"; else rm -f ".deps/tif_next.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_next.lo -MD -MP -MF .deps/tif_next.Tpo -c tif_next.c  -fPIC -DPIC -o .libs/tif_next.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_next.lo -MD -MP -MF .deps/tif_next.Tpo -c tif_next.c -o tif_next.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_ojpeg.lo -MD -MP -MF ".deps/tif_ojpeg.Tpo" -c -o tif_ojpeg.lo tif_ojpeg.c; \
+	then mv -f ".deps/tif_ojpeg.Tpo" ".deps/tif_ojpeg.Plo"; else rm -f ".deps/tif_ojpeg.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_ojpeg.lo -MD -MP -MF .deps/tif_ojpeg.Tpo -c tif_ojpeg.c  -fPIC -DPIC -o .libs/tif_ojpeg.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_ojpeg.lo -MD -MP -MF .deps/tif_ojpeg.Tpo -c tif_ojpeg.c -o tif_ojpeg.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_open.lo -MD -MP -MF ".deps/tif_open.Tpo" -c -o tif_open.lo tif_open.c; \
+	then mv -f ".deps/tif_open.Tpo" ".deps/tif_open.Plo"; else rm -f ".deps/tif_open.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_open.lo -MD -MP -MF .deps/tif_open.Tpo -c tif_open.c  -fPIC -DPIC -o .libs/tif_open.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_open.lo -MD -MP -MF .deps/tif_open.Tpo -c tif_open.c -o tif_open.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_packbits.lo -MD -MP -MF ".deps/tif_packbits.Tpo" -c -o tif_packbits.lo tif_packbits.c; \
+	then mv -f ".deps/tif_packbits.Tpo" ".deps/tif_packbits.Plo"; else rm -f ".deps/tif_packbits.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_packbits.lo -MD -MP -MF .deps/tif_packbits.Tpo -c tif_packbits.c  -fPIC -DPIC -o .libs/tif_packbits.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_packbits.lo -MD -MP -MF .deps/tif_packbits.Tpo -c tif_packbits.c -o tif_packbits.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_pixarlog.lo -MD -MP -MF ".deps/tif_pixarlog.Tpo" -c -o tif_pixarlog.lo tif_pixarlog.c; \
+	then mv -f ".deps/tif_pixarlog.Tpo" ".deps/tif_pixarlog.Plo"; else rm -f ".deps/tif_pixarlog.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_pixarlog.lo -MD -MP -MF .deps/tif_pixarlog.Tpo -c tif_pixarlog.c  -fPIC -DPIC -o .libs/tif_pixarlog.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_pixarlog.lo -MD -MP -MF .deps/tif_pixarlog.Tpo -c tif_pixarlog.c -o tif_pixarlog.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_predict.lo -MD -MP -MF ".deps/tif_predict.Tpo" -c -o tif_predict.lo tif_predict.c; \
+	then mv -f ".deps/tif_predict.Tpo" ".deps/tif_predict.Plo"; else rm -f ".deps/tif_predict.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_predict.lo -MD -MP -MF .deps/tif_predict.Tpo -c tif_predict.c  -fPIC -DPIC -o .libs/tif_predict.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_predict.lo -MD -MP -MF .deps/tif_predict.Tpo -c tif_predict.c -o tif_predict.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_print.lo -MD -MP -MF ".deps/tif_print.Tpo" -c -o tif_print.lo tif_print.c; \
+	then mv -f ".deps/tif_print.Tpo" ".deps/tif_print.Plo"; else rm -f ".deps/tif_print.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_print.lo -MD -MP -MF .deps/tif_print.Tpo -c tif_print.c  -fPIC -DPIC -o .libs/tif_print.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_print.lo -MD -MP -MF .deps/tif_print.Tpo -c tif_print.c -o tif_print.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_read.lo -MD -MP -MF ".deps/tif_read.Tpo" -c -o tif_read.lo tif_read.c; \
+	then mv -f ".deps/tif_read.Tpo" ".deps/tif_read.Plo"; else rm -f ".deps/tif_read.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_read.lo -MD -MP -MF .deps/tif_read.Tpo -c tif_read.c  -fPIC -DPIC -o .libs/tif_read.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_read.lo -MD -MP -MF .deps/tif_read.Tpo -c tif_read.c -o tif_read.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_strip.lo -MD -MP -MF ".deps/tif_strip.Tpo" -c -o tif_strip.lo tif_strip.c; \
+	then mv -f ".deps/tif_strip.Tpo" ".deps/tif_strip.Plo"; else rm -f ".deps/tif_strip.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_strip.lo -MD -MP -MF .deps/tif_strip.Tpo -c tif_strip.c  -fPIC -DPIC -o .libs/tif_strip.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_strip.lo -MD -MP -MF .deps/tif_strip.Tpo -c tif_strip.c -o tif_strip.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_swab.lo -MD -MP -MF ".deps/tif_swab.Tpo" -c -o tif_swab.lo tif_swab.c; \
+	then mv -f ".deps/tif_swab.Tpo" ".deps/tif_swab.Plo"; else rm -f ".deps/tif_swab.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_swab.lo -MD -MP -MF .deps/tif_swab.Tpo -c tif_swab.c  -fPIC -DPIC -o .libs/tif_swab.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_swab.lo -MD -MP -MF .deps/tif_swab.Tpo -c tif_swab.c -o tif_swab.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_thunder.lo -MD -MP -MF ".deps/tif_thunder.Tpo" -c -o tif_thunder.lo tif_thunder.c; \
+	then mv -f ".deps/tif_thunder.Tpo" ".deps/tif_thunder.Plo"; else rm -f ".deps/tif_thunder.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_thunder.lo -MD -MP -MF .deps/tif_thunder.Tpo -c tif_thunder.c  -fPIC -DPIC -o .libs/tif_thunder.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_thunder.lo -MD -MP -MF .deps/tif_thunder.Tpo -c tif_thunder.c -o tif_thunder.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_tile.lo -MD -MP -MF ".deps/tif_tile.Tpo" -c -o tif_tile.lo tif_tile.c; \
+	then mv -f ".deps/tif_tile.Tpo" ".deps/tif_tile.Plo"; else rm -f ".deps/tif_tile.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_tile.lo -MD -MP -MF .deps/tif_tile.Tpo -c tif_tile.c  -fPIC -DPIC -o .libs/tif_tile.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_tile.lo -MD -MP -MF .deps/tif_tile.Tpo -c tif_tile.c -o tif_tile.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_unix.lo -MD -MP -MF ".deps/tif_unix.Tpo" -c -o tif_unix.lo tif_unix.c; \
+	then mv -f ".deps/tif_unix.Tpo" ".deps/tif_unix.Plo"; else rm -f ".deps/tif_unix.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_unix.lo -MD -MP -MF .deps/tif_unix.Tpo -c tif_unix.c  -fPIC -DPIC -o .libs/tif_unix.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_unix.lo -MD -MP -MF .deps/tif_unix.Tpo -c tif_unix.c -o tif_unix.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_version.lo -MD -MP -MF ".deps/tif_version.Tpo" -c -o tif_version.lo tif_version.c; \
+	then mv -f ".deps/tif_version.Tpo" ".deps/tif_version.Plo"; else rm -f ".deps/tif_version.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_version.lo -MD -MP -MF .deps/tif_version.Tpo -c tif_version.c  -fPIC -DPIC -o .libs/tif_version.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_version.lo -MD -MP -MF .deps/tif_version.Tpo -c tif_version.c -o tif_version.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_warning.lo -MD -MP -MF ".deps/tif_warning.Tpo" -c -o tif_warning.lo tif_warning.c; \
+	then mv -f ".deps/tif_warning.Tpo" ".deps/tif_warning.Plo"; else rm -f ".deps/tif_warning.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_warning.lo -MD -MP -MF .deps/tif_warning.Tpo -c tif_warning.c  -fPIC -DPIC -o .libs/tif_warning.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_warning.lo -MD -MP -MF .deps/tif_warning.Tpo -c tif_warning.c -o tif_warning.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_write.lo -MD -MP -MF ".deps/tif_write.Tpo" -c -o tif_write.lo tif_write.c; \
+	then mv -f ".deps/tif_write.Tpo" ".deps/tif_write.Plo"; else rm -f ".deps/tif_write.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_write.lo -MD -MP -MF .deps/tif_write.Tpo -c tif_write.c  -fPIC -DPIC -o .libs/tif_write.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_write.lo -MD -MP -MF .deps/tif_write.Tpo -c tif_write.c -o tif_write.o >/dev/null 2>&1
+if /bin/sh ../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT tif_zip.lo -MD -MP -MF ".deps/tif_zip.Tpo" -c -o tif_zip.lo tif_zip.c; \
+	then mv -f ".deps/tif_zip.Tpo" ".deps/tif_zip.Plo"; else rm -f ".deps/tif_zip.Tpo"; exit 1; fi
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_zip.lo -MD -MP -MF .deps/tif_zip.Tpo -c tif_zip.c  -fPIC -DPIC -o .libs/tif_zip.o
+ gcc -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -Wall -MT tif_zip.lo -MD -MP -MF .deps/tif_zip.Tpo -c tif_zip.c -o tif_zip.o >/dev/null 2>&1
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o libtiff.la -rpath /usr/local/lib -no-undefined -version-number 3:7:4  tif_aux.lo tif_close.lo tif_codec.lo tif_color.lo tif_compress.lo tif_dir.lo tif_dirinfo.lo tif_dirread.lo tif_dirwrite.lo tif_dumpmode.lo tif_error.lo tif_extension.lo tif_fax3.lo tif_fax3sm.lo tif_flush.lo tif_getimage.lo tif_jpeg.lo tif_luv.lo tif_lzw.lo tif_next.lo tif_ojpeg.lo tif_open.lo tif_packbits.lo tif_pixarlog.lo tif_predict.lo tif_print.lo tif_read.lo tif_strip.lo tif_swab.lo tif_thunder.lo tif_tile.lo tif_unix.lo tif_version.lo tif_warning.lo tif_write.lo tif_zip.lo ../port/libport.la -lm -lc 
+gcc -shared  .libs/tif_aux.o .libs/tif_close.o .libs/tif_codec.o .libs/tif_color.o .libs/tif_compress.o .libs/tif_dir.o .libs/tif_dirinfo.o .libs/tif_dirread.o .libs/tif_dirwrite.o .libs/tif_dumpmode.o .libs/tif_error.o .libs/tif_extension.o .libs/tif_fax3.o .libs/tif_fax3sm.o .libs/tif_flush.o .libs/tif_getimage.o .libs/tif_jpeg.o .libs/tif_luv.o .libs/tif_lzw.o .libs/tif_next.o .libs/tif_ojpeg.o .libs/tif_open.o .libs/tif_packbits.o .libs/tif_pixarlog.o .libs/tif_predict.o .libs/tif_print.o .libs/tif_read.o .libs/tif_strip.o .libs/tif_swab.o .libs/tif_thunder.o .libs/tif_tile.o .libs/tif_unix.o .libs/tif_version.o .libs/tif_warning.o .libs/tif_write.o .libs/tif_zip.o -Wl,--whole-archive ../port/.libs/libport.a -Wl,--no-whole-archive  -lm -lc  -m32 -m32 -Wl,-soname -Wl,libtiff.so.3 -o .libs/libtiff.so.3.7.4
+(cd .libs && rm -f libtiff.so.3 && ln -s libtiff.so.3.7.4 libtiff.so.3)
+(cd .libs && rm -f libtiff.so && ln -s libtiff.so.3.7.4 libtiff.so)
+rm -fr .libs/libtiff.lax
+mkdir .libs/libtiff.lax
+rm -fr .libs/libtiff.lax/libport.a
+mkdir .libs/libtiff.lax/libport.a
+(cd .libs/libtiff.lax/libport.a && ar x /experiment/src/libtiff/../port/.libs/libport.a)
+ar cru .libs/libtiff.a  tif_aux.o tif_close.o tif_codec.o tif_color.o tif_compress.o tif_dir.o tif_dirinfo.o tif_dirread.o tif_dirwrite.o tif_dumpmode.o tif_error.o tif_extension.o tif_fax3.o tif_fax3sm.o tif_flush.o tif_getimage.o tif_jpeg.o tif_luv.o tif_lzw.o tif_next.o tif_ojpeg.o tif_open.o tif_packbits.o tif_pixarlog.o tif_predict.o tif_print.o tif_read.o tif_strip.o tif_swab.o tif_thunder.o tif_tile.o tif_unix.o tif_version.o tif_warning.o tif_write.o tif_zip.o  .libs/libtiff.lax/libport.a/dummy.o 
+ranlib .libs/libtiff.a
+rm -fr .libs/libtiff.lax
+creating libtiff.la
+(cd .libs && rm -f libtiff.la && ln -s ../libtiff.la libtiff.la)
+if /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -MT tif_stream.lo -MD -MP -MF ".deps/tif_stream.Tpo" -c -o tif_stream.lo tif_stream.cxx; \
+	then mv -f ".deps/tif_stream.Tpo" ".deps/tif_stream.Plo"; else rm -f ".deps/tif_stream.Tpo"; exit 1; fi
+ g++ -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -MT tif_stream.lo -MD -MP -MF .deps/tif_stream.Tpo -c tif_stream.cxx  -fPIC -DPIC -o .libs/tif_stream.o
+In file included from tiffiop.h:61:0,
+                 from tif_stream.cxx:30:
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+ };
+ ^
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:533:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+ };
+ ^
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+tif_dir.h:602:1: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings]
+ g++ -DHAVE_CONFIG_H -I. -I. -I. -I. -m32 -MT tif_stream.lo -MD -MP -MF .deps/tif_stream.Tpo -c tif_stream.cxx -o tif_stream.o >/dev/null 2>&1
+/bin/sh ../libtool --tag=CXX --mode=link g++  -m32  -m32 -o libtiffxx.la -rpath /usr/local/lib -no-undefined -version-number 3:7:4  tif_stream.lo ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+g++ -shared -nostdlib /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../lib32/crti.o /usr/lib/gcc/x86_64-linux-gnu/4.8/32/crtbeginS.o  .libs/tif_stream.o -Wl,--whole-archive ../port/.libs/libport.a -Wl,--no-whole-archive  -Wl,--rpath -Wl,/experiment/src/libtiff/.libs ../libtiff/.libs/libtiff.so -L/usr/lib/gcc/x86_64-linux-gnu/4.8/32 -L/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../lib32 -L/lib/../lib32 -L/usr/lib/../lib32 -L/usr/lib/gcc/x86_64-linux-gnu/4.8 -L/usr/lib/gcc/x86_64-linux-gnu/4.8/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-linux-gnu/4.8/32/crtendS.o /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../lib32/crtn.o  -m32 -m32 -Wl,-soname -Wl,libtiffxx.so.3 -o .libs/libtiffxx.so.3.7.4
+(cd .libs && rm -f libtiffxx.so.3 && ln -s libtiffxx.so.3.7.4 libtiffxx.so.3)
+(cd .libs && rm -f libtiffxx.so && ln -s libtiffxx.so.3.7.4 libtiffxx.so)
+rm -fr .libs/libtiffxx.lax
+mkdir .libs/libtiffxx.lax
+rm -fr .libs/libtiffxx.lax/libport.a
+mkdir .libs/libtiffxx.lax/libport.a
+(cd .libs/libtiffxx.lax/libport.a && ar x /experiment/src/libtiff/../port/.libs/libport.a)
+ar cru .libs/libtiffxx.a  tif_stream.o  .libs/libtiffxx.lax/libport.a/dummy.o 
+ranlib .libs/libtiffxx.a
+rm -fr .libs/libtiffxx.lax
+creating libtiffxx.la
+(cd .libs && rm -f libtiffxx.la && ln -s ../libtiffxx.la libtiffxx.la)
+if gcc -DHAVE_CONFIG_H -I. -I. -I. -I.     -m32 -Wall -MT mkg3states.o -MD -MP -MF ".deps/mkg3states.Tpo" -c -o mkg3states.o mkg3states.c; \
+	then mv -f ".deps/mkg3states.Tpo" ".deps/mkg3states.Po"; else rm -f ".deps/mkg3states.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o mkg3states  mkg3states.o ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o mkg3states mkg3states.o  ../port/.libs/libport.a -lm -lc
+make[2]: Leaving directory `/experiment/src/libtiff'
+make[1]: Leaving directory `/experiment/src/libtiff'
+Making all in tools
+make[1]: Entering directory `/experiment/src/tools'
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT bmp2tiff.o -MD -MP -MF ".deps/bmp2tiff.Tpo" -c -o bmp2tiff.o bmp2tiff.c; \
+	then mv -f ".deps/bmp2tiff.Tpo" ".deps/bmp2tiff.Po"; else rm -f ".deps/bmp2tiff.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o bmp2tiff  bmp2tiff.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+mkdir .libs
+gcc -m32 -Wall -m32 -o .libs/bmp2tiff bmp2tiff.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating bmp2tiff
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT fax2ps.o -MD -MP -MF ".deps/fax2ps.Tpo" -c -o fax2ps.o fax2ps.c; \
+	then mv -f ".deps/fax2ps.Tpo" ".deps/fax2ps.Po"; else rm -f ".deps/fax2ps.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o fax2ps  fax2ps.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/fax2ps fax2ps.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating fax2ps
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT fax2tiff.o -MD -MP -MF ".deps/fax2tiff.Tpo" -c -o fax2tiff.o fax2tiff.c; \
+	then mv -f ".deps/fax2tiff.Tpo" ".deps/fax2tiff.Po"; else rm -f ".deps/fax2tiff.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o fax2tiff  fax2tiff.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/fax2tiff fax2tiff.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating fax2tiff
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT gif2tiff.o -MD -MP -MF ".deps/gif2tiff.Tpo" -c -o gif2tiff.o gif2tiff.c; \
+	then mv -f ".deps/gif2tiff.Tpo" ".deps/gif2tiff.Po"; else rm -f ".deps/gif2tiff.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o gif2tiff  gif2tiff.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/gif2tiff gif2tiff.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating gif2tiff
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT pal2rgb.o -MD -MP -MF ".deps/pal2rgb.Tpo" -c -o pal2rgb.o pal2rgb.c; \
+	then mv -f ".deps/pal2rgb.Tpo" ".deps/pal2rgb.Po"; else rm -f ".deps/pal2rgb.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o pal2rgb  pal2rgb.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/pal2rgb pal2rgb.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating pal2rgb
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT ppm2tiff.o -MD -MP -MF ".deps/ppm2tiff.Tpo" -c -o ppm2tiff.o ppm2tiff.c; \
+	then mv -f ".deps/ppm2tiff.Tpo" ".deps/ppm2tiff.Po"; else rm -f ".deps/ppm2tiff.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o ppm2tiff  ppm2tiff.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/ppm2tiff ppm2tiff.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating ppm2tiff
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT ras2tiff.o -MD -MP -MF ".deps/ras2tiff.Tpo" -c -o ras2tiff.o ras2tiff.c; \
+	then mv -f ".deps/ras2tiff.Tpo" ".deps/ras2tiff.Po"; else rm -f ".deps/ras2tiff.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o ras2tiff  ras2tiff.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/ras2tiff ras2tiff.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating ras2tiff
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT raw2tiff.o -MD -MP -MF ".deps/raw2tiff.Tpo" -c -o raw2tiff.o raw2tiff.c; \
+	then mv -f ".deps/raw2tiff.Tpo" ".deps/raw2tiff.Po"; else rm -f ".deps/raw2tiff.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o raw2tiff  raw2tiff.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/raw2tiff raw2tiff.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating raw2tiff
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT rgb2ycbcr.o -MD -MP -MF ".deps/rgb2ycbcr.Tpo" -c -o rgb2ycbcr.o rgb2ycbcr.c; \
+	then mv -f ".deps/rgb2ycbcr.Tpo" ".deps/rgb2ycbcr.Po"; else rm -f ".deps/rgb2ycbcr.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o rgb2ycbcr  rgb2ycbcr.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/rgb2ycbcr rgb2ycbcr.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating rgb2ycbcr
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT thumbnail.o -MD -MP -MF ".deps/thumbnail.Tpo" -c -o thumbnail.o thumbnail.c; \
+	then mv -f ".deps/thumbnail.Tpo" ".deps/thumbnail.Po"; else rm -f ".deps/thumbnail.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o thumbnail  thumbnail.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/thumbnail thumbnail.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating thumbnail
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT tiff2bw.o -MD -MP -MF ".deps/tiff2bw.Tpo" -c -o tiff2bw.o tiff2bw.c; \
+	then mv -f ".deps/tiff2bw.Tpo" ".deps/tiff2bw.Po"; else rm -f ".deps/tiff2bw.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiff2bw  tiff2bw.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiff2bw tiff2bw.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating tiff2bw
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT tiff2pdf.o -MD -MP -MF ".deps/tiff2pdf.Tpo" -c -o tiff2pdf.o tiff2pdf.c; \
+	then mv -f ".deps/tiff2pdf.Tpo" ".deps/tiff2pdf.Po"; else rm -f ".deps/tiff2pdf.Tpo"; exit 1; fi
+tiff2pdf.c: In function 'main':
+tiff2pdf.c:528:10: warning: variable 'written' set but not used [-Wunused-but-set-variable]
+  tsize_t written=0;
+          ^
+tiff2pdf.c: In function 't2p_readwrite_pdf_image_tile':
+tiff2pdf.c:2675:10: warning: variable 'tilesize' set but not used [-Wunused-but-set-variable]
+  tsize_t tilesize=0;
+          ^
+tiff2pdf.c: In function 't2p_write_pdf_info':
+tiff2pdf.c:3947:6: warning: variable 'buflen' set but not used [-Wunused-but-set-variable]
+  int buflen=0;
+      ^
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiff2pdf  tiff2pdf.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiff2pdf tiff2pdf.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating tiff2pdf
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT tiff2ps.o -MD -MP -MF ".deps/tiff2ps.Tpo" -c -o tiff2ps.o tiff2ps.c; \
+	then mv -f ".deps/tiff2ps.Tpo" ".deps/tiff2ps.Po"; else rm -f ".deps/tiff2ps.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiff2ps  tiff2ps.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiff2ps tiff2ps.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating tiff2ps
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT tiff2rgba.o -MD -MP -MF ".deps/tiff2rgba.Tpo" -c -o tiff2rgba.o tiff2rgba.c; \
+	then mv -f ".deps/tiff2rgba.Tpo" ".deps/tiff2rgba.Po"; else rm -f ".deps/tiff2rgba.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiff2rgba  tiff2rgba.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiff2rgba tiff2rgba.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating tiff2rgba
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT tiffcmp.o -MD -MP -MF ".deps/tiffcmp.Tpo" -c -o tiffcmp.o tiffcmp.c; \
+	then mv -f ".deps/tiffcmp.Tpo" ".deps/tiffcmp.Po"; else rm -f ".deps/tiffcmp.Tpo"; exit 1; fi
+tiffcmp.c: In function 'CheckLongTag':
+tiffcmp.c:605:2: warning: format '%lu' expects argument of type 'long unsigned int', but argument 3 has type 'uint32' [-Wformat=]
+  CHECK(v1 == v2, "%s: %lu %lu\n");
+  ^
+tiffcmp.c:605:2: warning: format '%lu' expects argument of type 'long unsigned int', but argument 4 has type 'uint32' [-Wformat=]
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiffcmp  tiffcmp.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiffcmp tiffcmp.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating tiffcmp
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT tiffcp.o -MD -MP -MF ".deps/tiffcp.Tpo" -c -o tiffcp.o tiffcp.c; \
+	then mv -f ".deps/tiffcp.Tpo" ".deps/tiffcp.Po"; else rm -f ".deps/tiffcp.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiffcp  tiffcp.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiffcp tiffcp.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating tiffcp
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT tiffdither.o -MD -MP -MF ".deps/tiffdither.Tpo" -c -o tiffdither.o tiffdither.c; \
+	then mv -f ".deps/tiffdither.Tpo" ".deps/tiffdither.Po"; else rm -f ".deps/tiffdither.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiffdither  tiffdither.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiffdither tiffdither.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating tiffdither
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT tiffdump.o -MD -MP -MF ".deps/tiffdump.Tpo" -c -o tiffdump.o tiffdump.c; \
+	then mv -f ".deps/tiffdump.Tpo" ".deps/tiffdump.Po"; else rm -f ".deps/tiffdump.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiffdump  tiffdump.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiffdump tiffdump.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating tiffdump
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT tiffinfo.o -MD -MP -MF ".deps/tiffinfo.Tpo" -c -o tiffinfo.o tiffinfo.c; \
+	then mv -f ".deps/tiffinfo.Tpo" ".deps/tiffinfo.Po"; else rm -f ".deps/tiffinfo.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiffinfo  tiffinfo.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiffinfo tiffinfo.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating tiffinfo
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT tiffmedian.o -MD -MP -MF ".deps/tiffmedian.Tpo" -c -o tiffmedian.o tiffmedian.c; \
+	then mv -f ".deps/tiffmedian.Tpo" ".deps/tiffmedian.Po"; else rm -f ".deps/tiffmedian.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiffmedian  tiffmedian.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiffmedian tiffmedian.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating tiffmedian
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT tiffset.o -MD -MP -MF ".deps/tiffset.Tpo" -c -o tiffset.o tiffset.c; \
+	then mv -f ".deps/tiffset.Tpo" ".deps/tiffset.Po"; else rm -f ".deps/tiffset.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiffset  tiffset.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiffset tiffset.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating tiffset
+if gcc -DHAVE_CONFIG_H -I. -I. -I../libtiff -I../libtiff -I../libtiff    -m32 -Wall -MT tiffsplit.o -MD -MP -MF ".deps/tiffsplit.Tpo" -c -o tiffsplit.o tiffsplit.c; \
+	then mv -f ".deps/tiffsplit.Tpo" ".deps/tiffsplit.Po"; else rm -f ".deps/tiffsplit.Tpo"; exit 1; fi
+/bin/sh ../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiffsplit  tiffsplit.o ../libtiff/libtiff.la ../port/libport.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiffsplit tiffsplit.o  ../libtiff/.libs/libtiff.so ../port/.libs/libport.a -lm -lc
+creating tiffsplit
+make[1]: Leaving directory `/experiment/src/tools'
+Making all in contrib
+make[1]: Entering directory `/experiment/src/contrib'
+Making all in acorn
+make[2]: Entering directory `/experiment/src/contrib/acorn'
+make[2]: Nothing to be done for `all'.
+make[2]: Leaving directory `/experiment/src/contrib/acorn'
+Making all in addtiffo
+make[2]: Entering directory `/experiment/src/contrib/addtiffo'
+if gcc -DHAVE_CONFIG_H -I. -I. -I../../libtiff -I../../libtiff -I../../libtiff    -m32 -Wall -MT addtiffo.o -MD -MP -MF ".deps/addtiffo.Tpo" -c -o addtiffo.o addtiffo.c; \
+	then mv -f ".deps/addtiffo.Tpo" ".deps/addtiffo.Po"; else rm -f ".deps/addtiffo.Tpo"; exit 1; fi
+if gcc -DHAVE_CONFIG_H -I. -I. -I../../libtiff -I../../libtiff -I../../libtiff    -m32 -Wall -MT tif_overview.o -MD -MP -MF ".deps/tif_overview.Tpo" -c -o tif_overview.o tif_overview.c; \
+	then mv -f ".deps/tif_overview.Tpo" ".deps/tif_overview.Po"; else rm -f ".deps/tif_overview.Tpo"; exit 1; fi
+if gcc -DHAVE_CONFIG_H -I. -I. -I../../libtiff -I../../libtiff -I../../libtiff    -m32 -Wall -MT tif_ovrcache.o -MD -MP -MF ".deps/tif_ovrcache.Tpo" -c -o tif_ovrcache.o tif_ovrcache.c; \
+	then mv -f ".deps/tif_ovrcache.Tpo" ".deps/tif_ovrcache.Po"; else rm -f ".deps/tif_ovrcache.Tpo"; exit 1; fi
+/bin/sh ../../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o addtiffo  addtiffo.o tif_overview.o tif_ovrcache.o ../../libtiff/libtiff.la -lm -lc 
+mkdir .libs
+gcc -m32 -Wall -m32 -o .libs/addtiffo addtiffo.o tif_overview.o tif_ovrcache.o  ../../libtiff/.libs/libtiff.so -lm -lc
+creating addtiffo
+make[2]: Leaving directory `/experiment/src/contrib/addtiffo'
+Making all in dbs
+make[2]: Entering directory `/experiment/src/contrib/dbs'
+Making all in xtiff
+make[3]: Entering directory `/experiment/src/contrib/dbs/xtiff'
+make[3]: Nothing to be done for `all'.
+make[3]: Leaving directory `/experiment/src/contrib/dbs/xtiff'
+make[3]: Entering directory `/experiment/src/contrib/dbs'
+if gcc -DHAVE_CONFIG_H -I. -I. -I../../libtiff -I../../libtiff -I../../libtiff    -m32 -Wall -MT tiff-bi.o -MD -MP -MF ".deps/tiff-bi.Tpo" -c -o tiff-bi.o tiff-bi.c; \
+	then mv -f ".deps/tiff-bi.Tpo" ".deps/tiff-bi.Po"; else rm -f ".deps/tiff-bi.Tpo"; exit 1; fi
+/bin/sh ../../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiff-bi  tiff-bi.o ../../libtiff/libtiff.la -lm -lc 
+mkdir .libs
+gcc -m32 -Wall -m32 -o .libs/tiff-bi tiff-bi.o  ../../libtiff/.libs/libtiff.so -lm -lc
+creating tiff-bi
+if gcc -DHAVE_CONFIG_H -I. -I. -I../../libtiff -I../../libtiff -I../../libtiff    -m32 -Wall -MT tiff-grayscale.o -MD -MP -MF ".deps/tiff-grayscale.Tpo" -c -o tiff-grayscale.o tiff-grayscale.c; \
+	then mv -f ".deps/tiff-grayscale.Tpo" ".deps/tiff-grayscale.Po"; else rm -f ".deps/tiff-grayscale.Tpo"; exit 1; fi
+/bin/sh ../../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiff-grayscale  tiff-grayscale.o ../../libtiff/libtiff.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiff-grayscale tiff-grayscale.o  ../../libtiff/.libs/libtiff.so -lm -lc
+creating tiff-grayscale
+if gcc -DHAVE_CONFIG_H -I. -I. -I../../libtiff -I../../libtiff -I../../libtiff    -m32 -Wall -MT tiff-palette.o -MD -MP -MF ".deps/tiff-palette.Tpo" -c -o tiff-palette.o tiff-palette.c; \
+	then mv -f ".deps/tiff-palette.Tpo" ".deps/tiff-palette.Po"; else rm -f ".deps/tiff-palette.Tpo"; exit 1; fi
+/bin/sh ../../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiff-palette  tiff-palette.o ../../libtiff/libtiff.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiff-palette tiff-palette.o  ../../libtiff/.libs/libtiff.so -lm -lc
+creating tiff-palette
+if gcc -DHAVE_CONFIG_H -I. -I. -I../../libtiff -I../../libtiff -I../../libtiff    -m32 -Wall -MT tiff-rgb.o -MD -MP -MF ".deps/tiff-rgb.Tpo" -c -o tiff-rgb.o tiff-rgb.c; \
+	then mv -f ".deps/tiff-rgb.Tpo" ".deps/tiff-rgb.Po"; else rm -f ".deps/tiff-rgb.Tpo"; exit 1; fi
+/bin/sh ../../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o tiff-rgb  tiff-rgb.o ../../libtiff/libtiff.la -lm -lc 
+gcc -m32 -Wall -m32 -o .libs/tiff-rgb tiff-rgb.o  ../../libtiff/.libs/libtiff.so -lm -lc
+creating tiff-rgb
+make[3]: Leaving directory `/experiment/src/contrib/dbs'
+make[2]: Leaving directory `/experiment/src/contrib/dbs'
+Making all in iptcutil
+make[2]: Entering directory `/experiment/src/contrib/iptcutil'
+if gcc -DHAVE_CONFIG_H -I. -I. -I../../libtiff -I../../libtiff -I../../libtiff    -m32 -Wall -MT iptcutil.o -MD -MP -MF ".deps/iptcutil.Tpo" -c -o iptcutil.o iptcutil.c; \
+	then mv -f ".deps/iptcutil.Tpo" ".deps/iptcutil.Po"; else rm -f ".deps/iptcutil.Tpo"; exit 1; fi
+iptcutil.c: In function 'main':
+iptcutil.c:388:7: warning: format not a string literal and no format arguments [-Wformat-security]
+       printf(usage);
+       ^
+iptcutil.c:447:9: warning: format not a string literal and no format arguments [-Wformat-security]
+         printf(usage);
+         ^
+iptcutil.c:372:6: warning: variable 'buffer' set but not used [-Wunused-but-set-variable]
+     *buffer;
+      ^
+iptcutil.c:369:5: warning: variable 'length' set but not used [-Wunused-but-set-variable]
+     length;
+     ^
+/bin/sh ../../libtool --tag=CC --mode=link gcc  -m32 -Wall  -m32 -o iptcutil  iptcutil.o ../../libtiff/libtiff.la -lm -lc 
+mkdir .libs
+gcc -m32 -Wall -m32 -o .libs/iptcutil iptcutil.o  ../../libtiff/.libs/libtiff.so -lm -lc
+creating iptcutil
+make[2]: Leaving directory `/experiment/src/contrib/iptcutil'
+Making all in mac-cw
+make[2]: Entering directory `/experiment/src/contrib/mac-cw'
+make[2]: Nothing to be done for `all'.
+make[2]: Leaving directory `/experiment/src/contrib/mac-cw'
+Making all in mac-mpw
+make[2]: Entering directory `/experiment/src/contrib/mac-mpw'
+make[2]: Nothing to be done for `all'.
+make[2]: Leaving directory `/experiment/src/contrib/mac-mpw'
+Making all in mfs
+make[2]: Entering directory `/experiment/src/contrib/mfs'
+make[2]: Nothing to be done for `all'.
+make[2]: Leaving directory `/experiment/src/contrib/mfs'
+Making all in ojpeg
+make[2]: Entering directory `/experiment/src/contrib/ojpeg'
+make[2]: Nothing to be done for `all'.
+make[2]: Leaving directory `/experiment/src/contrib/ojpeg'
+Making all in pds
+make[2]: Entering directory `/experiment/src/contrib/pds'
+make[2]: Nothing to be done for `all'.
+make[2]: Leaving directory `/experiment/src/contrib/pds'
+Making all in ras
+make[2]: Entering directory `/experiment/src/contrib/ras'
+make[2]: Nothing to be done for `all'.
+make[2]: Leaving directory `/experiment/src/contrib/ras'
+Making all in stream
+make[2]: Entering directory `/experiment/src/contrib/stream'
+make[2]: Nothing to be done for `all'.
+make[2]: Leaving directory `/experiment/src/contrib/stream'
+Making all in tags
+make[2]: Entering directory `/experiment/src/contrib/tags'
+make[2]: Nothing to be done for `all'.
+make[2]: Leaving directory `/experiment/src/contrib/tags'
+Making all in win_dib
+make[2]: Entering directory `/experiment/src/contrib/win_dib'
+make[2]: Nothing to be done for `all'.
+make[2]: Leaving directory `/experiment/src/contrib/win_dib'
+make[2]: Entering directory `/experiment/src/contrib'
+make[2]: Nothing to be done for `all-am'.
+make[2]: Leaving directory `/experiment/src/contrib'
+make[1]: Leaving directory `/experiment/src/contrib'
+Making all in test
+make[1]: Entering directory `/experiment/src/test'
+make[1]: Nothing to be done for `all'.
+make[1]: Leaving directory `/experiment/src/test'
+Making all in man
+make[1]: Entering directory `/experiment/src/man'
+make[1]: Nothing to be done for `all'.
+make[1]: Leaving directory `/experiment/src/man'
+Making all in html
+make[1]: Entering directory `/experiment/src/html'
+Making all in images
+make[2]: Entering directory `/experiment/src/html/images'
+make[2]: Nothing to be done for `all'.
+make[2]: Leaving directory `/experiment/src/html/images'
+Making all in man
+make[2]: Entering directory `/experiment/src/html/man'
+make[2]: Nothing to be done for `all'.
+make[2]: Leaving directory `/experiment/src/html/man'
+make[2]: Entering directory `/experiment/src/html'
+make[2]: Nothing to be done for `all-am'.
+make[2]: Leaving directory `/experiment/src/html'
+make[1]: Leaving directory `/experiment/src/html'
+make[1]: Entering directory `/experiment/src'
+make[1]: Nothing to be done for `all-am'.
+make[1]: Leaving directory `/experiment/src'

python/data/tests-list/lighttpd/README.md

@@ -0,0 +1,27 @@
+## Running `lighttpd` bugs
+
+After running the container you need to follow the following
+steps to prepare `SOSRepair` for running:
+
+1. Copy `makeout`, `compile.sh`, `test.sh` and `tests-list` to
+the container's `/experiment/`.
+2. Copy `settings.py` to the container's `/opt/sosrepair/sosrepair`.
+3. In the container, reconfigure the project with coverage flags:
+```
+cd /experiment/src
+./configure "CFLAGS=-fprofile-arcs -ftest-coverage" "CXXFLAGS=-fprofile-arcs -ftest-coverage" "LDFLAGS=-lgcov" --with-ldap --with-bzip2 --with-openssl --with-gdbm --with-memcache --with-webdav-props --with-webdav-locks
+make clean
+make
+```
+4. Run `/opt/sosrepair/prepare/setup.sh`.
+5. Set proper permissions by running `sudo chmod -R 777 /opt/sosrepair/sosrepair`.
+6. Setup environment variables:
+```
+export PYTHONPATH="/opt/sosrepair/bindings:${PYTHONPATH}"
+export CPATH=":/opt/sosrepair/include"
+export PATH="/opt/sosrepair/bin:$PATH"
+```
+
+Pay attention that `lighttpd` tests occupy a single port. Therefore, you can only
+run on a single bug at a time if you're sharing ports. Otherwise, the tests will
+fail.

python/data/tests-list/lighttpd/compile.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+cd $DIR/src
+#make clean
+(make && exit 0)|| exit 1
+
+

python/data/tests-list/lighttpd/copy.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+
+
+CONTAINER=$1
+BUG=$2
+
+docker cp compile.sh $CONTAINER:/experiment/
+docker cp $BUG/test.sh $CONTAINER:/experiment/
+docker cp $BUG/tests-list.txt $CONTAINER:/experiment/
+docker cp $BUG/settings.py $CONTAINER:/opt/sosrepair/sosrepair/

python/data/tests-list/lighttpd/lighttpd-bug-1913-1914/settings.py

@@ -0,0 +1,86 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234',
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/src/mod_cgi.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+#                    "-I/usr/include",
+                    "-I/usr/include/glib-2.0",
+                    "-I/usr/lib/x86_64-linux-gnu/glib-2.0/include",
+                    "-I/opt/sosrepair/llvm/lib/clang/5.0.2/include"
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (584, 918)
+# IF SOS+
+# METHOD_RANGE = (747, 749)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""
+
+GCOV_OBJECTS = "/experiment/src/src/.libs"

python/data/tests-list/lighttpd/lighttpd-bug-1913-1914/test.sh

@@ -0,0 +1,52 @@
+#!/bin/bash
+bugrev=1913
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) 
+
+#Check if coverage is being run. If so, don't use time limit.
+#if [ `basename $2` = "coverage" ] ; then
+#    cov=0
+#else
+cov=0
+#fi
+
+run_test()
+{
+    cd $dir/src/tests
+    if [ $cov -eq 0 ] ; then
+        perl /experiment/lighttpd-run-tests.pl $1
+    else
+        timeout 5 perl /experiment/lighttpd-run-tests.pl $1
+    fi
+    RESULT=$?
+    if [ $RESULT = 0 ] ; then 
+	echo ""
+	echo "PASS"
+    else
+	echo ""
+	echo "FAIL"
+    fi
+    killall -9 lighttpd &> /dev/null
+    cd ../../
+    return 0
+}
+case $1 in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 2 && exit 0 ;; 
+    p3) run_test 3 && exit 0 ;; 
+    p4) run_test 4 && exit 0 ;; 
+    p5) run_test 6 && exit 0 ;; 
+    p6) run_test 7 && exit 0 ;; 
+    p7) run_test 8 && exit 0 ;; 
+    p8) run_test 10 && exit 0 ;; 
+    p9) run_test 11 && exit 0 ;; 
+    p10) run_test 12 && exit 0 ;; 
+    p11) run_test 14 && exit 0 ;; 
+    p12) run_test 15 && exit 0 ;; 
+    p13) run_test 16 && exit 0 ;; 
+    p14) run_test 17 && exit 0 ;; 
+    p15) run_test 18 && exit 0 ;; 
+    p16) run_test 20 && exit 0 ;; 
+    p17) run_test 21 && exit 0 ;; 
+    n1) run_test 9 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/lighttpd/lighttpd-bug-1913-1914/tests-list.txt

@@ -0,0 +1,17 @@
+n1
+p1
+p2
+p3
+p4
+p5
+p6
+p7
+p8
+p9
+p10
+p12
+p13
+p14
+p15
+p16
+p17

python/data/tests-list/lighttpd/lighttpd-bug-1948-1949/settings.py

@@ -0,0 +1,82 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/src/response.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+#                    "-I/usr/include",
+                    "-I/usr/include/glib-2.0",
+                    "-I/usr/lib/x86_64-linux-gnu/glib-2.0/include",
+                    "-I/opt/sosrepair/llvm/lib/clang/5.0.2/include"
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (32, 134)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""

python/data/tests-list/lighttpd/lighttpd-bug-1948-1949/test.sh

@@ -0,0 +1,39 @@
+#!/bin/bash
+bugrev=1948
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+run_test()
+{
+    cd $dir/src/tests
+    perl ../../lighttpd-run-tests.pl $1
+    if [ $? = 0 ] ; then
+        echo ""
+        echo "PASS"
+    else
+        echo ""
+        echo "FAIL"
+    fi
+    popd > /dev/null
+    killall -9 lighttpd &> /dev/null
+    return 0
+}
+case $1 in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 2 && exit 0 ;; 
+    p3) run_test 3 && exit 0 ;; 
+    p4) run_test 4 && exit 0 ;; 
+    p5) run_test 6 && exit 0 ;; 
+    p6) run_test 7 && exit 0 ;; 
+    p7) run_test 8 && exit 0 ;; 
+    p8) run_test 10 && exit 0 ;; 
+    p9) run_test 11 && exit 0 ;; 
+    p10) run_test 12 && exit 0 ;; 
+    p11) run_test 14 && exit 0 ;; 
+    p12) run_test 15 && exit 0 ;; 
+    p13) run_test 16 && exit 0 ;; 
+    p14) run_test 17 && exit 0 ;; 
+    p15) run_test 18 && exit 0 ;; 
+    p16) run_test 20 && exit 0 ;; 
+    p17) run_test 21 && exit 0 ;; 
+    n1) run_test 19 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/lighttpd/lighttpd-bug-1948-1949/tests-list.txt

@@ -0,0 +1,14 @@
+n1
+p1
+p2
+p3
+p4
+p5
+p6
+p7
+p8
+p10
+p11
+p13
+p14
+p15

python/data/tests-list/lighttpd/lighttpd-bug-2254-2259/settings.py

@@ -0,0 +1,86 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/src/mod_secure_download.c"
+
+
+COMPILE_EXTRA_ARGS = [ 
+                    "-I/experiment/src",
+#                    "-I/usr/include",
+                    "-I/usr/include/glib-2.0",
+                    "-I/usr/lib/x86_64-linux-gnu/glib-2.0/include",
+                    "-I/opt/sosrepair/llvm/lib/clang/5.0.2/include"
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (198, 328)
+# IF SOS+
+# METHOD_RANGE = (278, 280)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""
+
+GCOV_OBJECTS = "/experiment/src/src/.libs"

python/data/tests-list/lighttpd/lighttpd-bug-2254-2259/test.sh

@@ -0,0 +1,40 @@
+#!/bin/bash
+bugrev=2254
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+run_test()
+{
+    cd $dir/src/tests
+    perl ../../lighttpd-run-tests.pl $1
+    if [ $? = 0 ] ; then
+        echo ""
+        echo "PASS"
+    else
+        echo ""
+        echo "FAIL"
+    fi
+    popd > /dev/null
+    killall -9 lighttpd &> /dev/null
+    return 0
+}
+case $1 in
+    p1) run_test 1 && exit 0 ;; 
+    p2) run_test 2 && exit 0 ;; 
+    p3) run_test 3 && exit 0 ;; 
+    p4) run_test 4 && exit 0 ;; 
+    p5) run_test 6 && exit 0 ;; 
+    p6) run_test 7 && exit 0 ;; 
+    p7) run_test 8 && exit 0 ;; 
+    p8) run_test 9 && exit 0 ;; 
+    p9) run_test 10 && exit 0 ;; 
+    p10) run_test 11 && exit 0 ;; 
+    p11) run_test 12 && exit 0 ;; 
+    p12) run_test 14 && exit 0 ;; 
+    p13) run_test 15 && exit 0 ;; 
+    p14) run_test 16 && exit 0 ;; 
+    p15) run_test 17 && exit 0 ;; 
+    p16) run_test 18 && exit 0 ;; 
+    p17) run_test 20 && exit 0 ;; 
+    p18) run_test 21 && exit 0 ;; 
+    n1) run_test 5 && exit 0 ;; 
+esac
+exit 1

python/data/tests-list/lighttpd/lighttpd-bug-2254-2259/tests-list.txt

@@ -0,0 +1,16 @@
+n1
+p1
+p2
+p3
+p4
+p5
+p6
+p7
+p9
+p11
+p12
+p13
+p14
+p15
+p16
+p17

python/data/tests-list/lighttpd/lighttpd-bug-2661-2662/notes.md

@@ -0,0 +1,3 @@
+For this bug both SOS and SOS+ can generate perfect patch
+but they won't if you return the first patch. If
+`--all_patches` is used the perfect patch will be generated.

python/data/tests-list/lighttpd/lighttpd-bug-2661-2662/test.sh

@@ -0,0 +1,54 @@
+#!/bin/bash
+bugrev=1913
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) 
+
+#Check if coverage is being run. If so, don't use time limit.
+#if [ `basename $2` = "coverage" ] ; then
+#    cov=0
+#else
+cov=0
+#fi
+
+run_test()
+{
+    cd $dir/src/tests
+    if [ $cov -eq 0 ] ; then
+        perl /experiment/lighttpd-run-tests.pl $1
+    else
+        timeout 5 perl /experiment/lighttpd-run-tests.pl $1
+    fi
+    RESULT=$?
+    if [ $RESULT = 0 ] ; then 
+	echo ""
+	echo "PASS"
+    else
+	echo ""
+	echo "FAIL"
+    fi
+    killall -9 lighttpd &> /dev/null
+    cd ../../
+    return 0
+}
+case $1 in
+    p1) run_test 1 && exit 0 ;;
+    p2) run_test 2 && exit 0 ;;
+    p3) run_test 3 && exit 0 ;;
+    p4) run_test 4 && exit 0 ;;
+    p5) run_test 5 && exit 0 ;;
+    p6) run_test 6 && exit 0 ;;
+    p7) run_test 7 && exit 0 ;;
+    p8) run_test 8 && exit 0 ;;
+    p9) run_test 9 && exit 0 ;;
+    p10) run_test 12 && exit 0 ;;
+    p11) run_test 13 && exit 0 ;;
+    p12) run_test 14 && exit 0 ;;
+    p13) run_test 15 && exit 0 ;;
+    p14) run_test 16 && exit 0 ;;
+    p15) run_test 17 && exit 0 ;;
+    p16) run_test 18 && exit 0 ;;
+    p17) run_test 20 && exit 0 ;;
+    p18) run_test 21 && exit 0 ;;
+    n1) run_test 10 && exit 0 ;;
+    n2) run_test 11 && exit 0 ;;
+esac
+exit 1

python/data/tests-list/lighttpd/lighttpd-bug-2661-2662/tests-list.txt

@@ -0,0 +1,19 @@
+n1
+n2
+p1
+p2
+p3
+p4
+p5
+p6
+p7
+p8
+p9
+p10
+p12
+p13
+p14
+p15
+p16
+p17
+p18

python/data/tests-list/lighttpd/lighttpd-bug-2785-2786/test.sh

@@ -0,0 +1,45 @@
+#!/bin/bash
+bugrev=1913
+dir=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) 
+
+
+run_test()
+{
+    cd $dir/src/tests
+    timeout 20 perl /experiment/lighttpd-run-tests.pl $1
+    RESULT=$?
+    if [ $RESULT = 0 ] ; then 
+	echo ""
+	echo "PASS"
+    else
+	echo ""
+	echo "FAIL"
+    fi
+    killall -9 lighttpd &> /dev/null
+    cd ../../
+    return 0
+}
+case $1 in
+    p1) run_test 1 && exit 0 ;;
+    p2) run_test 2 && exit 0 ;;
+    p3) run_test 3 && exit 0 ;;
+    p4) run_test 4 && exit 0 ;;
+    p5) run_test 5 && exit 0 ;;
+    p6) run_test 6 && exit 0 ;;
+    p7) run_test 7 && exit 0 ;;
+    p8) run_test 8 && exit 0 ;;
+    p9) run_test 9 && exit 0 ;;
+    p10) run_test 10 && exit 0 ;;
+    p11) run_test 11 && exit 0 ;;
+    p12) run_test 12 && exit 0 ;;
+    p13) run_test 13 && exit 0 ;;
+    p14) run_test 14 && exit 0 ;;
+    p15) run_test 15 && exit 0 ;;
+    p16) run_test 16 && exit 0 ;;
+    p17) run_test 17 && exit 0 ;;
+    p18) run_test 18 && exit 0 ;;
+    p19) run_test 20 && exit 0 ;;
+    p20) run_test 21 && exit 0 ;;
+    n1) run_test 19 && exit 0 ;;
+esac
+exit 1

python/data/tests-list/lighttpd/lighttpd-bug-2785-2786/tests-list.txt

@@ -0,0 +1,18 @@
+n1
+p2
+p4
+p5
+p6
+p7
+p8
+p9
+p10
+p12
+p13
+p14
+p15
+p16
+p17
+p18
+p19
+p20

python/data/tests-list/php/README.md

@@ -0,0 +1,23 @@
+## Running `php` bugs
+
+After running the container you need to follow the following
+steps to prepare `SOSRepair` for running:
+
+1. Copy `makeout`, `compile.sh` and `tests-list` to
+the container's `/experiment/`.
+2. Copy `settings.py` to the container's `/opt/sosrepair/sosrepair`.
+3. In the container, reconfigure the project with coverage flags:
+```
+cd /experiment/src
+./configure "CFLAGS=-fprofile-arcs -ftest-coverage" "CXXFLAGS=-fprofile-arcs -ftest-coverage" "LDFLAGS=-lgcov"
+make clean
+make
+```
+4. Run `/opt/sosrepair/prepare/setup.sh`.
+5. Set proper permissions by running `sudo chmod -R 777 /opt/sosrepair/sosrepair`.
+6. Setup environment variables:
+```
+export PYTHONPATH="/opt/sosrepair/bindings:${PYTHONPATH}"
+export CPATH=":/opt/sosrepair/include"
+export PATH="/opt/sosrepair/bin:$PATH"
+```

python/data/tests-list/php/compile.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+
+cd $DIR/src
+#make clean
+(make && exit 0)|| exit 1
+
+

python/data/tests-list/php/copy.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+
+
+CONTAINER=$1
+BUG=$2
+
+docker cp compile.sh $CONTAINER:/experiment/
+#docker cp $BUG/test.sh $CONTAINER:/experiment/
+docker cp $BUG/tests-list.txt $CONTAINER:/experiment/
+docker cp $BUG/settings.py $CONTAINER:/opt/sosrepair/sosrepair/

python/data/tests-list/php/php-bug-2011-01-30-5bb0a44e06-1e91069eb4/settings.py

@@ -0,0 +1,84 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/ext/date/php_date.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/experiment/src/include",
+                    "-I/experiment/src/main",
+                    "-I/experiment/src/ext",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (3076, 3095)
+# IF SOS+
+# METHOD_RANGE = (3088, 3088)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""

python/data/tests-list/php/php-bug-2011-01-30-5bb0a44e06-1e91069eb4/tests-list.txt

@@ -0,0 +1,13 @@
+n1
+p2414
+p2378
+p2327
+p2315
+p2298
+p2256
+p2156
+p2102
+p2087
+p2054
+p2042
+p2031

python/data/tests-list/php/php-bug-2011-02-01-01745fa657-1f49902999/settings.py

@@ -0,0 +1,84 @@
+"""
+This file includes all the settings that could be modified for running SearchRepair/SOSRepair
+
+* LIBCLANG_PATH: The path to libclang build. It should be either a .so or .dylib file.
+* GENERATE_DB_PATH: The path where the DB should be built from. SR will enumerate all C files in this path to build the
+ DB
+* Z3_COMMAND: The z3 command on this machine.
+* LARGEST_SNIPPET: The maximum number of lines that is considered as a snippet.
+* SMALLEST_SNIPPET: The minimum number of lines that is considered as a snippet.
+* DATABASE: Information about the database.
+* LOGGING: Settings for logging.
+* MAX_SUSPICIOUS_LINES: The number of suspicious lines tried before giving up.
+* VALID_TYPES: The variable types that are right now supported by SR.
+------ Settings related to file under repair -------
+* TESTS_LIST: The path to a list of the tests that could be run on the file
+* TEST_SCRIPT: The path to a script that will run the test
+* COMPILE_SCRIPT: The path to a script that will compile the code
+* FAULTY_CODE: The path to the faulty code (a C file)
+* COMPILE_EXTRA_ARGS: The list of necessary arguments that should be passed to clang to properly parse the code
+* MAKE_OUTPUT: The output of running `make` stored in a file (for the purpose of finding necessary arguments for compilation
+automatically)
+* METHOD_RANGE: The tuple of beginning and end of method with the fault (limits the search to the area)
+* SOSREPAIR: If set to False it will only run SearchRepair features
+* NUMBER_OF_TIMES_RERUNNING_TESTS: The number of times that the tests should be run to assure patch's correctness
+* EXCLUDE_SCANF: If removing/replacing scanf in buggy code is going to be a problem, set this to True
+"""
+__author__ = 'Afsoon Afzal'
+
+import logging
+
+
+LIBCLANG_PATH = '/opt/sosrepair/llvm/lib/libclang.so'
+
+GENERATE_DB_PATH = '/experiment/src'
+
+Z3_COMMAND = '/opt/sosrepair/bin/z3'
+
+LARGEST_SNIPPET = 7
+SMALLEST_SNIPPET = 3
+
+DATABASE = {
+    'db_name': 'testdocker',
+    'user': 'docker',
+    'password': '1234'
+}
+
+LOGGING = {
+    'filename': 'logs/repair.log',
+    'level': logging.DEBUG
+}
+
+logging.basicConfig(**LOGGING)
+
+MAX_SUSPICIOUS_LINES = 10
+
+VALID_TYPES = ['int', 'short', 'long', 'char', 'float', 'double', 'long long', 'size_t']
+
+TESTS_LIST = "/experiment/tests-list.txt"
+TEST_SCRIPT = "/experiment/test.sh"
+TEST_SCRIPT_TYPE = "/bin/bash"
+COMPILE_SCRIPT = "/experiment/compile.sh"
+FAULTY_CODE = "/experiment/src/main/streams/userspace.c"
+
+
+COMPILE_EXTRA_ARGS = [
+                    "-I/experiment/src",
+                    "-I/experiment/src/include",
+                    "-I/experiment/src/main",
+                    "-I/experiment/src/ext",
+                    "-I/usr/include",
+]
+
+MAKE_OUTPUT = "/experiment/makeout"
+
+METHOD_RANGE = (854, 893)
+# IF SOS+
+# METHOD_RANGE = (858, 859)
+
+SOSREPAIR = True
+
+NUMBER_OF_TIMES_RERUNNING_TESTS = 1
+EXCLUDE_SCANF = False
+
+BULK_RUN_PATH = ""