Design of functional programming library for GPU programming specifically for Static Analysis Algorithm