agustingianni

@echo off
cls

cl /c /EHa- /EHs- /GR- /GS- /Gd /Gm- /Gy /MT /O2 /Oi- /Oy- /TP /W3 /WX- /Zc:forScope /Zc:inline /Zc:wchar_t /fp:precise /nologo /wd4316  ^
    /DTARGET_IA32 /DHOST_IA32 /DTARGET_WINDOWS /DBIGARRAY_MULTIPLIER=1 /DWIN32 /D__PIN__=1 /DPIN_CRT=1 /D__i386__ ^
    /I"C:\pin\extras\xed-ia32\include\xed"  ^
    /IC:\pin\source\include\pin ^
    /IC:\pin\source\include\pin\gen ^
    /IC:\pin\source\tools\InstLib   ^
    /I"C:\pin\extras\xed-ia32\include" ^

agustingianni

// Copyright (c) 2017 Agustin Gianni
//
// 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

agustingianni

In file included from /usr/local/include/tao/pegtl.hpp:10:
In file included from /usr/local/include/tao/pegtl/internal/../ascii.hpp:54:
/usr/local/include/tao/pegtl/internal/pegtl_string.hpp:35:26: error: too few template arguments for class template 'keyword'
            using type = S<>;
                         ^
/Users/anon/workspace/retools/src/libspec/src/libspec.cpp:81:22: note: in instantiation of template class 'tao::pegtl::internal::string_at<tao::pegtl::ascii::keyword, '\x00', false>' requested here
struct ARRAY       : TAOCPP_PEGTL_KEYWORD("array") {};
                     ^
/usr/local/include/tao/pegtl/internal/pegtl_string.hpp:96:4: note: expanded from macro 'TAOCPP_PEGTL_KEYWORD'
   TAOCPP_PEGTL_INTERNAL_STRING( tao::TAOCPP_PEGTL_NAMESPACE::ascii::keyword, x )

agustingianni

{
    "operation": [
        "CheckFPAdvSIMDEnabled64();",
        "bits(datasize) operand = V[n];",
        "bits(datasize) result;",
        "integer element;",
        "",
        "for e = 0 to elements-1",
        "    element = SInt(Elem[operand, e, esize]);",
        "    if neg then",

agustingianni

#ifndef DEBUGGER_H_
#define DEBUGGER_H_

#include <map>
#include <string>
#include <vector>

#include <Conditionals.h>
#include <lldb/API/LLDB.h>
#include <optional.h>

agustingianni

#include <iostream>
#include <libdebug/Debugger.h>
#include <string>

using namespace std;
using namespace lldb;

int main(int argc, char** argv)
{
    if (argc < 1) {

agustingianni

#!/bin/sh
# Download and build OS X Mavericks XNU Source
if [ ! -d "dtrace-118" ]; then
  curl -O http://opensource.apple.com/tarballs/dtrace/dtrace-118.tar.gz
  tar zxf dtrace-118.tar.gz
  rm dtrace-118.tar.gz
fi
if [ ! -d "AvailabilityVersions-6" ]; then
  curl -O http://opensource.apple.com/tarballs/AvailabilityVersions/AvailabilityVersions-6.tar.gz
  tar zxf AvailabilityVersions-6.tar.gz

agustingianni

import sys
#sys.path.append("C:\\Program Files (x86)\\Microsoft Research\\Z3-4.1\\python")
from z3 import *


s=Solver()

x=BitVec("x", 64)
y=BitVec("y", 64)
w=BitVec("w", 64)

agustingianni

#!/usr/bin/env bash

export SAMPLES_DIR=/Users/anon/workspace/fuzzing/tests
export TEST_PROGRAM=/Users/anon/workspace/retools/build/src/tools/binary_info/binary_info
export AFL_PATH=/Users/anon/Downloads/afl-2.35b
export MINIMIZED_SAMPLES_DIR=$SAMPLES_DIR/minimized

mkdir fuzzing_build
pushd fuzzing_build

agustingianni

//
// Created by Agustin Gianni on 11/18/16.
//

#ifndef THREADPROFILER_DISKPOOL_H
#define THREADPROFILER_DISKPOOL_H

#include <atomic>
#include <string>
#include <cstddef>