MattPD

Program Analysis Resources

(draft; work in progress)

See also:

• Compilers
  • correctness
• Program analysis:
• Dynamic analysis - instrumentation, translation, sanitizers

forax

import static java.lang.invoke.MethodHandles.lookup;
import static java.lang.invoke.MethodType.methodType;

import java.lang.invoke.MethodHandle;
import java.lang.invoke.MethodHandles;
import java.lang.invoke.MethodHandles.Lookup;
import java.lang.invoke.MethodType;
import java.lang.invoke.MutableCallSite;
import java.util.Arrays;

imjasonh

* {
    font-size: 12pt;
    font-family: monospace;
    font-weight: normal;
    font-style: normal;
    text-decoration: none;
    color: black;
    cursor: default;
}

tfg13

#!/bin/sh

# this script sets some parameters to get a useable configuration
# these changes are not persistent, you may want to include this in your autostart

# 1 finger = left click, 2 finger = right click, 3 finger = middle click 
synclient TapButton2=3
synclient TapButton3=2
synclient ClickFinger2=3
synclient ClickFinger3=2

galderz

#!/usr/bin/python

import itertools

# A script that greps log file for failed tests and
# creates individual files for individual failed tests.
#
# It needs a lot of polishing but for the time being works :)

# TODO: Make get lines return a single list, and make it include start and end lines

Sanne

#!/bin/bash
# run ./build.sh
# it will clone your existing repo and run the maven tests off this clone
# the branch tests are run from is the current branch at the time of cloning
#
# Note that you can work on the next bug while this is going on
#
# ./build.sh
# runs maven clean install
#