Segmentation fault while using HTTPS-Everywhere for Mozilla
I get a segmentation fault while surfing to http://mxr.mozilla.org/mozilla1.9.2/ and entering, for instance, "SSL" into the "Search For:" field there and pressing ENTER.
But this occurrs probably only if you have an extension installed that tries to modify the Accept-Header (via setrequestheader). (At least that was how I recognized the problem.)
It turned out that the problem is due to the fact that you forgot to put the code in the replaceURI-function in HTTPSRules.js in a try-catch clause. After having done that, everything worked fine again.
Steps to reproduce:
- Put HTTPS-Everyhwere and an extension that modifies the accept-Header (e.g. the JonDoFox extension which you may found here: http://anonymous-proxy-servers.net/en/jondofox/download) in a new profile
- Make sure the Mozilla checkbox in the HTTPS-Everywhere preference is checked and surf to http://mxr.mozilla.org/mozilla1.9.2/
- There, type "SSL" (or whatever) into the Search For: field and hit ENTER.
Result: Segmentation fault
Reproducible: always, on Linux- as well as on Windows-systems
If you need further information or just want our extension (and not the whole browser profile with a bunch of extensions) for testing purposes, feel free to drop me an email to firstname.lastname@example.org