MAPPER: Mapping Application Description to Permissions. - Rajendra Kumar Solanki; Vijay Laxmi; Manoj Singh Gaur (CRiSIS, 2019)

MapperDroid: Verifying app capabilities from description to permissions and API calls. - Rajendra Kumar Solanki; Vijay Laxmi; Bruhadeshwar Bezawada; Manoj Singh Gaur (Comput. Secur., 2021)

C Analyzer : A Static Program Analysis Tool for C Programs. - Rajendra Kumar Solanki (CoRR, 2024)