The positive thing about TrueCrypt is that its code is open, so its soundness can in principle be proven to a reasonable degree of certainty.