Exécution en toute sécurité d'un code Haskell non approuvé

Question

Je cherche un moyen d'exécuter un code Haskell arbitraire en toute sécurité (ou refuse d'exécuter du code dangereux).

doit avoir:

• module/fonction whitelist
délai d'attente
• sur l'exécution
• restriction utilisation de la mémoire

Capabilities Je comme voir:

• capacité à tuer fil
• compilation des modules en code natif
• mise en cache du code compilé
• exécutant plusieurs interprètes en même temps
• type de données complexes pour les erreurs du compilateur (insted de message simple dans la chaîne)

Avec ce genre de fonctionnalité, il serait possible d'implémenter un plugin de navigateur capable d'exécuter du code Haskell arbitraire, ce qui est l'idée que j'ai en tête.

EDIT: J'ai deux réponses, les deux géniales. Merci! Le plus triste est qu'il ne semble pas y avoir de bibliothèque prête à l'emploi, juste un programme similaire. C'est une ressource utile cependant. Quoi qu'il en soit, je pense que je vais attendre la sortie de la version 7.2.1 et essayer d'utiliser SafeHaskell dans mon propre programme.

Answer 1

Nous avons fait cela depuis environ 8 ans maintenant lambdabot, qui soutient:

• un espace de noms contrôlé
• OS renforcé les délais d'attente
• modules de code natif
• cache
• principaux niveaux interactifs concurrents
• message d'erreur personnalisé renvoyé.

Cette série de règles est documenté, voir:

• Safely running untrusted Haskell code
• mueval, une implémentation alternative basée sur GHC-api

L'approche de sécurité prises dans lambdabot a inspiré le travail d'extension de langue Safe Haskell.

---

Pour les approches à l'extension dynamique des applications Haskell compilées, en Haskell, voir les deux documents:

• Dynamic Extension of Typed Functional Languages et
• Dynamic applications from the ground up.

Answer 2

GHC 7.2.1 aura probablement une nouvelle installation appelée SafeHaskell qui couvre une partie de ce que vous voulez. SafeHaskell assure la sécurité de type (donc les choses comme unsafePerformIO sont interdites), et établit un mécanisme de confiance, de sorte qu'une bibliothèque avec une API sûre mais implémentée en utilisant des fonctionnalités non sécurisées puisse être approuvée. Il est conçu exactement pour exécuter du code non fiable. Pour les autres aspects pratiques (délais d'attente, etc.), lambdabot, comme le dit Don, serait un bon endroit pour regarder.