An Android "device name" is an identifier of a particular model. Each device announces its model as a string. Examples of "device name" strings:
Dell Dell Streak 7 (streak7) hltexx Toshiba Corporation AT10LE-A/AT15LE-A/AT10PE-A/AT15PE-A (Japan: AT703) (tostab12BA) highscreen_Zera_S Samsung Galaxy S3 (m0) bq_Edison2_QuadCore_3G Foxconn International Holdings Limited IN810 (VKY) 504
I have identified 9295 Android device names strings.
I am trying to find more information about what devices output these names, in particular the maker.
Samsung Galaxy S3 (m0) ->
Is there a database which references these names, mapping each one to a particular maker?
Bonus if it also maps to other information like hardware specifications.