Die Programmiersprache Sappeur zielt darauf ab, eine sichere und effiziente Programmiersprache zur Verfügung zu stellen. Weder eine Virtuelle Maschine noch Garbage Collection (GC) werden benutzt. Dies bedeutet, dass Sappeur-Programme bezüglich CPU-Zyklen und Speicherverbrauch beinahe so effizient wie C/C++ Programme sind. Außerdem sind Sappeur-Programme echtzeitfähig. Dies wird durch ein wohldefiniertes Typsystem erreicht, welches mehrere Sicherheitsgarantien verwirklicht. Zudem erzeugt der Sappeur-Compiler Code, der zur Laufzeit korrekte Feld-Indizes überprüft. Sappeur-Zeiger sind automatisch Smart-Pointer und können nicht auf falsche Speicherstellen zeigen. Wie C++ hat auch Sappeur synchrone Destruktoren und die Fähigkeit zur Allokation von Speicher auf dem Stack (auch für Objekte und Felder). Eine weitere Eigenschaft von Sappeur ist die besondere Unterstützung für Multithreading im Typsystem. Dies sichert die Integrität des Speichers auch bei Programmen mit mehr als einem Thread. (non)