तथापि, येथे एक कमतरता अशी आहे की अशी प्रणाली विकसित करणे फारच कठीण आहे, याचे कारण असे की विश्लेषणाचा हा प्रकार स्थिर विश्लेषण किंवा औपचारिक पुरावा वापरतो जे मोठ्या संहितांसाठी फारच स्केलेबल नसतात.
இருப்பினும், இங்குள்ள குறைபாடு என்னவென்றால், அத்தகைய சிஸ்டமை உருவாக்குவது மிகவும் கடினம், காரணம் இந்த பகுப்பாய்வு நிலையான பகுப்பாய்வு அல்லது முறையான சான்றுகளைப் பயன்படுத்துகிறது, அவை பெரிய குறியீடுகளுக்கு அளவிட முடியாது.