1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#!/usr/bin/env python3
import argparse
import logging
import os
from focaccia import parser
from focaccia.symbolic import collect_symbolic_trace
from focaccia.trace import Trace, TraceEnvironment
def main():
prog = argparse.ArgumentParser()
prog.description = 'Trace an executable concolically to capture symbolic' \
' transformations among instructions.'
prog.add_argument('binary', help='The program to analyse.')
prog.add_argument('args', action='store', nargs=argparse.REMAINDER,
help='Arguments to the program.')
prog.add_argument('-o', '--output',
default='trace.out',
help='Name of output file. (default: trace.out)')
args = prog.parse_args()
logging.disable(logging.CRITICAL)
env = TraceEnvironment(args.binary,
args.args,
[f'{k}={v}' for k, v in os.environ.items()])
trace = collect_symbolic_trace(env, None)
with open(args.output, 'w') as file:
parser.serialize_transformations(trace, file)
if __name__ == "__main__":
main()
|