Fornux C ++ Superset یک کامپایلر منبع به منبع است که یک مدیر حافظه جبر قطعی را به کد C / C ++ موجود تزریق می کند ، بنابراین نتیجه خرابی برنامه را اثبات می کند و از هرگونه نشت حافظه بطور ضمنی ساخته است. برنامه به دست آمده در زمان واقعی باقی مانده و در تمام سیستم عامل های تعبیه شده کار می کند. صنایع هدفمند عبارتند از:...