Merge pull request #184 from johanols/ensure-correct-addr-info-split

Ensuring adr_dict is split correctly

Author: rlamy

vmprof/stats.py

@@ -43,15 +43,15 @@ def get_name(self, addr):
 
     def find_addrs_containing_name(self, part):
         for adr, name in self.adr_dict.items():
-            n, symbol, _, _ = name.split(':')
+            n, symbol, _, _ = name.split(':', 3)
             if part in symbol:
                 yield adr
 
     def get_addr_info(self, addr):
         name = self.adr_dict.get(addr, None)
         if not name:
             return None
-        lang, symbol, line, file = name.split(':')
+        lang, symbol, line, file = name.split(':', 3)
         return lang, symbol, line, file
 
     def getargv(self):