trailofbits / manticore

Symbolic execution tool
https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
GNU Affero General Public License v3.0
3.68k stars 472 forks source link

Upgrade to protobuf v4 #2559

Open ekilmer opened 2 years ago

ekilmer commented 2 years ago

In #2558 we pinned protobuf to version 3, but we should try to update to the latest version when possible to get the latest fixes and improvements.

noraj commented 1 year ago

Manticore is currently broken in BlarckArch because of the protobuf 3.20 fixing. ArchLinux provides only protobuf 4.21.12 cf. https://github.com/BlackArch/blackarch/pull/3683#issuecomment-1382405179

Manticore is also broken on Pypi because of this cf. #2600