%FILES%
usr/
usr/share/
usr/bin/
usr/bin/sea
usr/share/sea/
usr/share/licenses/
usr/share/doc/
usr/share/doc/sea/
usr/share/doc/sea/README.md
usr/share/licenses/sea/
usr/share/licenses/sea/COPYING
usr/share/sea/SEA.py
usr/share/sea/boostrap.sh
usr/share/sea/tests/
usr/share/sea/src/
usr/share/sea/src/Inputs.py
usr/share/sea/src/SMT.py
usr/share/sea/src/Typing.py
usr/share/sea/src/core/
usr/share/sea/src/Callstack.py
usr/share/sea/src/TypeSlicer.py
usr/share/sea/src/Memory.py
usr/share/sea/src/Allocation.py
usr/share/sea/src/__init__.py
usr/share/sea/src/Condition.py
usr/share/sea/src/Common.py
usr/share/sea/src/MemVars.py
usr/share/sea/src/Lifting.py
usr/share/sea/src/SSA.py
usr/share/sea/src/JumpConditions.py
usr/share/sea/src/Parameters.py
usr/share/sea/src/Prelude.py
usr/share/sea/src/Function.py
usr/share/sea/src/PathGeneration.py
usr/share/sea/src/core/Operand.py
usr/share/sea/src/core/Types.py
usr/share/sea/src/core/Instruction.py
usr/share/sea/src/core/Location.py
usr/share/sea/src/core/Bap.py
usr/share/sea/src/core/__init__.py
usr/share/sea/src/core/Reil.py
usr/share/sea/src/core/Path.py
usr/share/sea/src/core/pkgs/
usr/share/sea/src/core/PathGenerator.py
usr/share/sea/src/core/Lattice.py
usr/share/sea/src/core/Program.py
usr/share/sea/src/core/pkgs/pyparsing/
usr/share/sea/src/core/pkgs/__init__.py
usr/share/sea/src/core/pkgs/pyparsing/__init__.py
usr/share/sea/tests/bap/
usr/share/sea/tests/paths extractors/
usr/share/sea/tests/c/
usr/share/sea/tests/reil/
usr/share/sea/tests/reil/SpamAssassin_loop_bad.reil
usr/share/sea/tests/reil/stack1_gcc.reil
usr/share/sea/tests/reil/uaf_1.reil
usr/share/sea/tests/reil/stacks.reil
usr/share/sea/tests/reil/example.reil
usr/share/sea/tests/reil/f_sorted.reil
usr/share/sea/tests/reil/test-combine.reil
usr/share/sea/tests/reil/abo3.reil
usr/share/sea/tests/reil/main.reil
usr/share/sea/tests/reil/stack1_vs2005.reil
usr/share/sea/tests/reil/f.reil
usr/share/sea/tests/reil/abo4.reil
usr/share/sea/tests/c/stacks.c
usr/share/sea/tests/c/SpamAssassin/
usr/share/sea/tests/c/crackmeXor2.c
usr/share/sea/tests/c/crackmeXor2
usr/share/sea/tests/c/two-loops.dot
usr/share/sea/tests/c/stack1
usr/share/sea/tests/c/two-loops.c
usr/share/sea/tests/c/abo3
usr/share/sea/tests/c/two-loops
usr/share/sea/tests/c/crackmeXor2.dot
usr/share/sea/tests/c/lab1/
usr/share/sea/tests/c/lab1/httpd.c
usr/share/sea/tests/c/lab1/README
usr/share/sea/tests/c/lab1/applogic.py
usr/share/sea/tests/c/lab1/index.html
usr/share/sea/tests/c/lab1/answers.txt
usr/share/sea/tests/c/lab1/httpd
usr/share/sea/tests/c/lab1/exploit-template.py
usr/share/sea/tests/c/lab1/clean-env.sh
usr/share/sea/tests/c/lab1/httpd.dot
usr/share/sea/tests/c/lab1/Makefile
usr/share/sea/tests/c/lab1/app.py
usr/share/sea/tests/c/lab1/.gdbinit
usr/share/sea/tests/c/lab1/shellcode.S
usr/share/sea/tests/c/lab1/httpd.rel
usr/share/sea/tests/c/lab1/httpd.png
usr/share/sea/tests/c/SpamAssassin/README
usr/share/sea/tests/c/SpamAssassin/BID-6679/
usr/share/sea/tests/c/SpamAssassin/BID-6679/README
usr/share/sea/tests/c/SpamAssassin/BID-6679/constants.h
usr/share/sea/tests/c/SpamAssassin/BID-6679/message_write/
usr/share/sea/tests/c/SpamAssassin/BID-6679/message_write/loop_bad.c
usr/share/sea/tests/c/SpamAssassin/BID-6679/message_write/loop_ok.c
usr/share/sea/tests/c/SpamAssassin/BID-6679/message_write/loop_bad
usr/share/sea/tests/c/SpamAssassin/BID-6679/message_write/loop_bad.dot
usr/share/sea/tests/paths extractors/loop_bad.sh
usr/share/sea/tests/paths extractors/loop_bad.py
usr/share/sea/tests/bap/two-loops.json
usr/share/sea/tests/bap/stack1.bap
usr/share/sea/tests/bap/stacks.bap
usr/share/sea/tests/bap/httpd.bap
usr/share/sea/tests/bap/two-loops.bap
usr/share/sea/tests/bap/stack1.json
usr/share/sea/tests/bap/stacks.json
usr/share/sea/tests/bap/httpd.json
