VeraCrypt is open-source and free software. The complete source code of VeraCrypt (written in C, C++, and assembly) is freely available for peer review at:
http://sourceforge.net/projects/veracrypt/
https://veracrypt.codeplex.com/