Abraxas Software is a company that develops language analysis software tools for programming. It offers PCYACC, a professional language development tool, CodeFix, a complex system tool for mapping source using objective criteria, CodeCheck, a programmable expert system tool that validates product specifications and computes metric algorithms.