Example #1
0
def main():
    parser = argparse.ArgumentParser()
    parser.add_argument('input_files',
                        metavar='FILE',
                        nargs='+',
                        help='LLVM bitcode file to be analyzed')
    parser.add_argument('-o',
                        '--output_file',
                        metavar='OUTFILE',
                        help='output file')
    # Set default values
    parser.set_defaults(output_file='facts.zip')

    # Parse arguments
    args = parser.parse_args()

    # Generate facts
    outdir = rt.FileManager().mkdtemp()
    factgen.run(args.input_files, outdir)

    # Create zip archive with generated facts
    with zipfile.ZipFile(args.output_file, 'w', zipfile.ZIP_DEFLATED) as zipf:
        for root, dirs, files in os.walk(outdir):
            for file in files:
                path = os.path.join(root, file)
                zipf.write(path, os.path.relpath(path, outdir))
Example #2
0
    def apply(self, analysis):
        input_files = analysis.input_files
        outdir = analysis.facts_directory

        _logger.info("LLVM Bitcode Input: %s", ', '.join(input_files))
        _logger.info("Exporting facts to %s ...", outdir)

        # Create empty directory
        os.makedirs(outdir)

        # Generate facts
        factgen.run(input_files, outdir)
        _logger.info("Stored facts into %s", outdir)
    def apply(self, analysis):
        input_files = analysis.input_files
        outdir = analysis.facts_directory

        _logger.info("LLVM Bitcode Input: %s", ', '.join(input_files))
        _logger.info("Exporting facts to %s ...", outdir)

        # Create empty directory
        os.makedirs(outdir)

        # Generate facts
        factgen.run(input_files, outdir)
        _logger.info("Stored facts into %s", outdir)
Example #4
0
def main():
    parser = argparse.ArgumentParser()
    parser.add_argument('input_files', metavar='FILE', nargs='+',
                        help='LLVM bitcode file to be analyzed')
    parser.add_argument('-o', '--output_file', metavar='OUTFILE',
                        help='output file')
    # Set default values
    parser.set_defaults(output_file='facts.zip')

    # Parse arguments
    args = parser.parse_args()

    # Generate facts
    outdir = rt.FileManager().mkdtemp()
    factgen.run(args.input_files, outdir)

    # Create zip archive with generated facts
    with zipfile.ZipFile(args.output_file, 'w', zipfile.ZIP_DEFLATED) as zipf:
        for root, dirs, files in os.walk(outdir):
            for file in files:
                path = os.path.join(root, file)
                zipf.write(path, os.path.relpath(path, outdir))
 def setup(self):
     self.outdir = self.files.mkdtemp()
     factgen.run(self.input_files, self.outdir)
Example #6
0
 def setup(self):
     self.outdir = self.files.mkdtemp()
     factgen.run(self.input_files, self.outdir)