Take the 2-minute tour ×
Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

Prevx said this file was infected. What is it and what can I do about it?

share|improve this question
add comment

3 Answers

up vote 1 down vote accepted

That file appears to be part of a PHP library extension for computing large numbers such as floating point numbers and signed integers (according to this forum discussion).

Safe bet would be to run an online antivirus scan, such as the ones suggested by DrJekl.

share|improve this answer
    
Then what do I do if it turns out my computer is infected? –  The Green Frog Aug 18 '09 at 13:52
    
The scanner will probably be able to remove the infection. –  DrJekl Aug 18 '09 at 14:49
add comment

This file is used by both safe and unsafe programs. Best action would be to do a complete antivirus scan. I recommend the online scan from eset.com or housecall.trendmicro.com or both.

share|improve this answer
add comment

you might want to peek in the php.ini file in the extensions area and see if that file is even used (it will have a ; or # in front of it if not used, i forget which). php extensions are enabled/disabled in that file. further, you could rename the file to something else. if you can't rename it, then its in use. if you can rename it, then leave it that way and see if it causes any problems. if not, then delete it at your leisure.

-don

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.