Which editing programs are used to cut movies?

I have a little question. Which editing programs are used to cut movies, (Netflix) series, Hollywood films?

Are these programs that you could also buy as a private person such as Final Cut Pro X, Avid, Premiere Pro?

Yes, you can buy them, e.g. B. Premiere Pro.

Deadpool, for example, was made with Premiere Pro

Small scenes are cut with After Effects. And Premiere is more for editing the entire film. At least that's a workflow

I could also imagine Davinci Resolve (paid version).

For example: with Lightworks

https://www.lwks.com/

… Gabs sometimes as a very slimmed down free version.

Just rent, like Premiere Pro. You can buy DaVinci Resolve.

Small scenes are cut with After Effects.

Nonsense, no professional comes up with this idea, especially since After Effects is not an editing program at all!

One can't. Only available as part of a subscription.

Then you came up with a "clever" comment… Better not write so much nonsense yourself!

But someone is very taken by himself. Of course, you can't buy Premiere Pro. And of course you can use After Effects to cut scenes.