jon-whit

        // Get a pointer to the literal that needs assignment, if one exists
        if ((lp = is_unitclause(form->clauses[i], assigned, vals)) != NULL) {
            // COPY THE LITERAL POINTER
            lp1 = (literal*) malloc(sizeof(literal));
            memcpy(lp1, lp, sizeof(literal));

            assert_literal(lp1, vals, assigned);
            stack_item si = {lp1, i, 0};

            // COPY THE STACK ITEM

jon-whit

int main(void)
{ struct usb_serial *var_group1 = (struct usb_serial *) __VERIFIER_nondet_pointer();
  struct usb_device_id const *var_whiteheat_firmware_download_0_p1 = (struct usb_device_id const *) __VERIFIER_nondet_pointer();
  struct tty_struct *var_group2 = (struct tty_struct *) __VERIFIER_nondet_pointer();
  struct usb_serial_port *var_group3 = (struct usb_serial_port *) __VERIFIER_nondet_pointer();
  unsigned char const *var_whiteheat_write_6_p2 = (unsigned char const *) __VERIFIER_nondet_pointer();
  int var_whiteheat_write_6_p3 = __VERIFIER_nondet_int();
  unsigned int var_whiteheat_ioctl_10_p1 = __VERIFIER_nondet_uint();
  unsigned long var_whiteheat_ioctl_10_p2 = __VERIFIER_nondet_ulong();
  struct ktermios *var_whiteheat_set_termios_11_p2 = (struct ktermios *) __VERIFIER_nondet_pointer();

jon-whit

import argparse
import glob
import os
import re

if __name__ == '__main__':

    parser = argparse.ArgumentParser(description="Reports svcomp benchmarks which have references to uninitialized memory.")
    parser.add_argument("--bench-dir", default=".", help="The directory containing the benchmark files that will be stripped.")
    parser.add_argument("--dest-dir", default="./stripped-files", help="The destination directory where stripped files will be placed.")

jon-whit

import argparse
import glob
import subprocess
import os

if __name__ == '__main__':

    parser = argparse.ArgumentParser(description="Reports svcomp benchmarks which have references to uninitialized memory.")
    parser.add_argument("--witness-dir", default=".", help="The directory containing the witeness files.")
    parser.add_argument("--bench-dir", default=".", help="The directory containing the benchmark files.")