pschanely / CrossHair

An analysis tool for Python that blurs the line between testing and type systems.
Other
1.03k stars 49 forks source link

`TypeError` in bytes regex #276

Closed Zac-HD closed 4 months ago

Zac-HD commented 4 months ago
import re

def binary_regex(buf: bytes) -> None:
  '''
  post: True
  '''
  re.search(b"ab+c", b".....")

raises /tmp/main.py:7: error: TypeError: when calling binary_regex(b'')

pschanely commented 4 months ago

Fixed in v0.0.64!