Andrea Jemmett comments

Repositories
Issues
Comments

Results 73 comments of


                                            Andrea Jemmett

Version of LLVM and SVF user in paper evaluation

That comes from a newer version of SVF. The one in Beacon prints: ![Screenshot 2023-10-17 at 13 54 57](https://github.com/5hadowblad3/Beacon_artifact/assets/1787979/04bcfc79-fba8-4dd0-888e-be27ed7c72c1)

Version of LLVM and SVF user in paper evaluation

Thanks, I'll try that one. To generate the bitcode to feed to SVF version `ea15f5b8aff5dad99223e7839ede998d617f8147`, do I use LLVM 4 (i.e. same as `precondInfer`)?

Version of LLVM and SVF user in paper evaluation

SVF version `ea15f5b8aff5dad99223e7839ede998d617f8147` cannot be compiled with LLVM 4...