Vancir

//===-- KTest.cpp ---------------------------------------------------------===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

#include "KTest.h"

Vancir

#!/usr/bin/env bash
set -eux

sudo echo "deb http://debian.ustc.edu.cn/ubuntu/ trusty main multiverse restricted universe
deb http://debian.ustc.edu.cn/ubuntu/ trusty-backports main multiverse restricted universe
deb http://debian.ustc.edu.cn/ubuntu/ trusty-proposed main multiverse restricted universe
deb http://debian.ustc.edu.cn/ubuntu/ trusty-security main multiverse restricted universe
deb http://debian.ustc.edu.cn/ubuntu/ trusty-updates main multiverse restricted universe
deb http://llvm.org/apt/trusty/ llvm-toolchain-trusty-3.4 main  
deb-src http://debian.ustc.edu.cn/ubuntu/ trusty main multiverse restricted universe

Vancir

#! /usr/bin/env python3

import os
import sys
import signal
import time
import subprocess

PHP_ROOT = '/home/varas/Documents/php-gcc'

Vancir

#! /usr/bin/env python3

import os
import sys
import signal
import time
import subprocess

SWFTOOLS_ROOT = '/home/varas/Documents/libexif-gcc'

Vancir

#! /usr/bin/env python3

import os
import sys
import signal
import time
import subprocess

SWFTOOLS_ROOT = '/home/varas/Documents/swftools-gcc'

Vancir

#! /usr/bin/env python3

import os
import sys
import signal
import time
import subprocess

def usage():
    print("incorrect argument number\nusage: autotest-libpng.py <tiff_dir> <hitpos>")

Vancir

#! /usr/bin/env python3

import os
import sys
import signal
import time
import subprocess


def usage():

Vancir

#! /usr/bin/env python3

import os
import sys
import signal
import time
import subprocess


def usage():

Vancir

from PIL import Image
import numpy as np
import os
import base64
import pickle 
_KEY_LEN = 2
enc_data = 'MG4rZiJpImkvaixpLGwrbjRxN3MxdzN3M3s+fTl9OX4EQgdCAUkCSQxID0sJTAtQF1IRVBNWE1sZWhhcGiBnJStrImUmZSFmLGcgZixrKGoobypwKnIwdzJ0Mns/QANCOkAEQQFGAEYMSAxID0oJURVTEVURVhJYGVsYXxheGiIvZSdjJ2MmZyNnI2UvaiNoL2wraitwN3YzczJ7PGstcTR3BEwIRgBEAkkPSA1JDk0LURZVEVQTVBxaH1wZXmUgJ2AkYyZhJGEnZyJiI2ktZi1rL2sobChwPkA7ctWz8ILCv9eeJHYMQgZJA0kMSQhKCFAUUhFVEVQQWhldGF9lXtqf22HanyWeJmAkYyZiImktZy1qLWgxbNSH/K/EhtJlKHYhg+GyIHwFRgBGD0sOTQlOFVIWVRFUE1YZXRldGF/Ymtmd2GHan9uf2mAkYyBmIGcsZClkyJP7ufqJ13MSVANwNGong+6XOX8CRABHDE0OTQhRFFIRVRBUE1sZXBgh2JvfnNmd2JzbnNufJGElYyBlJmg3lC13NHXVkT9c2Y3eidiW23IVSDtuMEcARA1JDUsJTAtTFlURVxNZHl0YXN6a3Z3cm9ma2Z3YnNie2p8kYCd5KnUWdSdt0ogdafTYn5IodyhGfg9rTD91OkcNRg9NDk0LURdSEVUQVxJbGVzflt2V05jemt6b2J3cndic2pw2ejFFI3Mhc9RxPmDTtChObysYJW84RioddzNCA0YNRg9KCFEUUxZSEFQTWBlb05LQk9OV3ZvSl9+a3Jvend2YNW82djFlJZ3XSzVjylR1RxFPGzBoOGpeE3wyfzpHAEcMSwhOFU4WUhFVEFcfWteS1pTWkNCW05vdmd2a35/Ujy9nLGU+h8mUM0Y9RB5OCkcVWAhLGjBpKg5qNH8+fgF