Keamanan jenis adalah bagian dari pemrograman komputer yang membantu mencegah terciptanya bug yang muncul saat program dijalankan. Jika keamanan tipe lemah, maka kemungkinan besar akan ada beberapa bug, yang dapat menyebabkan berbagai kesalahan. Cara paling umum untuk memastikan kesalahan ini tidak terjadi adalah dengan menggunakan pengkodean yang kuat. Sementara banyak bahasa pemrograman secara inheren memiliki fungsi untuk memastikan kesetiaan pemrograman dan untuk mencegah kesalahan, pengkodean yang buruk dapat membuat fungsi-fungsi ini tidak berdaya. Ada dua cara agar bahasa pemrograman dapat memeriksa kesalahan ini — statis atau dinamis — dan keduanya bisa efektif.
Kesalahan umum dalam program dan pengkodean dan, dengan keamanan jenis, kesalahan secara khusus terjadi dari berbagai jenis data yang tidak diatur dengan benar. Kesalahan yang dapat terjadi berkisar dari nominal hingga serius, tetapi sebagian besar cenderung serius. Ini dapat mematikan program, atau pengkodean yang buruk dapat menyebabkan masalah yang lebih buruk yang dapat membuat pengkodean tidak berguna dan terfragmentasi.
Ada banyak cara untuk memastikan keamanan jenis, tetapi salah satu cara yang lebih mudah dan umum adalah dengan menggunakan pengkodean jenis yang kuat. Tidak seperti metode pengkodean yang lebih lembut, yang dapat memungkinkan bahasa pemrograman untuk mendefinisikan pengkodean yang canggung secara tidak tepat, pengkodean tipe yang kuat sangat langsung. Pengkodean tipe kuat juga menggunakan aturan dan regulasi untuk memastikan pengkodean tidak didefinisikan secara tidak benar dan memastikan ada sedikit kesalahan.
Pelanggaran dalam keamanan tipe dapat mengakibatkan masalah besar, begitu banyak bahasa pemrograman telah mengadopsi fitur untuk menguji dan menghilangkan — atau memperingatkan pemrogram untuk — masalah ini. Sebelum pemrograman melanjutkan ke runtime, bahasa akan memeriksa kesalahan umum dan biasanya akan membatalkan peluncuran runtime jika kesalahan terdeteksi. Pada saat yang sama, fitur-fitur ini mungkin tidak berguna jika programmer membuat pengkodean yang sangat buruk. Bahasa tidak akan dapat mengenali tanda-tanda umum keamanan tipe, sehingga program akan berjalan meskipun ada kesalahan.
Ada dua metode untuk menangkap potensi masalah keamanan jenis, dan ini hanya berlaku untuk bahasa pemrograman yang secara otomatis memeriksa kesalahan. Metode statis hanya mencari tanda-tanda umum dari masalah ketika program sedang berjalan. Metode lainnya, dinamis, memeriksa kode secara menyeluruh dan mencari peran setiap elemen pengkodean dalam program partikulat. Kemudian mencari di seluruh program untuk melihat apakah ada pengecualian khusus untuk pengkodean yang bisa menjadi kesalahan, dan kemudian membiarkannya lewat atau menghentikan peluncuran program.