Hello.
In order to popularize static analysis methodology we checked the Hive
project and wrote a small note on this topic: PVS-Studio Visits Apache
Hive - https://www.viva64.com/en/b/0657/
We don't claim that we provide full and accurate analysis. Therefore, if
a reader found detected defects interesting and wants to make more
thorough analysis, we suggest using the following license:
Name: Apache Hive
Key: XMP0-6D0Z-1K30-SS8D
License Type: Enterprise30 License up to 30 developers
License Valid Thru: Sep 15, 2019
----
Best regards,
Andrey Karpov, Microsoft MVP,
Ph.D. in Mathematics, CTO
"Program Verification Systems" Co Ltd.
URL: www.viva64.com
