commit 07454a1d40487d1d1c1d1b655a1ef0588554122c parent 925e7542e4c345ff0ce0efe619b8d594be6978d5 Author: deurzen <m.deurzen@tum.de> Date: Fri, 5 Feb 2021 00:58:57 +0100 Merge branch 'master' of github.com:deurzen/rootkit-programming-dev Diffstat:
M | project/type_dict.py | | | 7 | ++----- |
1 file changed, 2 insertions(+), 5 deletions(-)
diff --git a/project/type_dict.py b/project/type_dict.py @@ -50,12 +50,9 @@ class CodeDict(): self.outf = open(self.out_n, "w+") def parse(self): - line = self.inf.readline() - dir = len(line) - 1 if line[-1] == "/" else len(line) - for line in self.inf.readlines(): - # Remove directory prefix, insert ./ to reflect the frame representation of source file in gdb - l = ("./" + (line[dir:])).split(" ") + # Insert ./ to reflect the frame representation of source file in gdb + l = "./" + line if len(l) < 5 or l[4] != "=": continue