I understand that there are two types of inspections in Android Studio, those which are inherited from IntelliJ and those which are inherited from lint (see: Android lint on com
Yes, this is basically correct. The code that adapts the Android linters to the IntelliJ inspections API lives here. It's not a separate plugin; it's part of the main Android plugin.