If you read the link that you added about viruses from an avi file, you would have found that your chances of getting a virus from ANY video file are next to ZERO. Look at the #1 answer.

AVI files are not only not executable, on a file system like yours, the EXECUTABLE bit must be set in the permissions to execute code from it (which would never happen on its own).

If you are still spooked by it, download one of the many free malware/antivirus scanners available to MacOS. I personally would suggest malwarebytes because it isn't intrusive and doesn't require running in the background.

As far as "built in" like Windows Defender.. well.. Apple won't even admit that it is possible to get malware/viruses on a mac so that is a hurtle that needs to be jumped first. :)

Good Luck!

If you read the link that you added about viruses from an avi file, you would have found that your chances of getting a virus from ANY video file are next to ZERO. Look at the #1 answer.

AVI files are not only not executable, on a file system like yours, the EXECUTABLE bit must be set in the permissions to execute code from it (which would never happen on its own).

If you are still spooked by it, download one of the many free malware/antivirus scanners available to MacOS. I personally would suggest malwarebytes because it isn't intrusive and doesn't require running in the background.

Good Luck!