KhiCAS, le moteur formel Giac/Xcas pour toutes TI-Nspire

[Adriweb]

"Si", mais indirectement dans le sens où Ndless 4.5 a corrigé un bug au niveau des extensions natives Lua, cf. https://github.com/ndless-nspire/Ndless ... 552963d5a4
Comment-ça, les gens ne lisent pas chaque ligne de chaque commit?

[parisse]

Bon, finalement, j'ai reussi a gerer les chaines, avec des "". Cette fois ca devrait etre a peu pres finalise:
https://www-fourier.ujf-grenoble.fr/~parisse/calc/khicas.zip

[chess]

De mon coté j'ai le plaisir de vous annoncer que tout votre travail pourra être utilisé normalement
car khiCAS vient de fonctionner en mode examen à l'aide de ce qu'on peut appeler le tout premier PTT-smart-killer.

A placer dans le startup d'un Ndless reboot.

C'est le même principe qu'un PTTkiller sauf qu'il copie uniquement les 2 fichiers khicas.tns et luagiac.luax.tns après en avoir vérifié la signature sha1sum, ceci afin d'éviter que les fichiers renommés ne contiennent en fait des annales corrigées scannées, des cours entiers, des pompes et toute autre utilisation STUPIDE de sa calculatrice.

On peut imaginer que les éditeurs de contenus éducatif comme vous, soient autorisés à fournir l'outil qui permet de traverser le passage en mode examen.

En tous cas c'est une piste si on ne veut pas que Ndless ne servent plus qu'à jouer à nDoom sur sa calculatrice après 2018.

[critor]

Message peut-être un peu trop enthousiaste.

A ma connaissance, il est à ce jour impossible d'exécuter de programme Ndless startup en mode examen sur les révisions matérielles W+.

Les modèles pouvant avoir le comportement décrit ont cessé d'être produits en août 2015. Autrement dit ils sont en voie de disparition, et rares seront les candidats privilégiés à en être équipés pour la session 2018.

[chess]

De toutes manières ce KhiCAS est pour les OS 3.6 et 3.9.
Et des failles arriveront un jour ou l'autre pour les W+.

Mais en attendant c'est vrai que Texas Instruments a réussi à donner plus de valeur marchande à ses CX d'occasion qu'à ses CX neuves, c'est un exploit !

[parisse]

Je pense que khicas fonctionne sur des OS plus recents, je n'ai juste pas teste.
Quand on avait ecrit a l'IG lors de la mise en place du mode examen, il me semble qu'on avait evoque la question de pouvoir autoriser certains programmes tiers en mode examen. Les constructeurs ne semblent pas interesses a le faire eux-memes jusqu'a maintenant, je trouve ca tres bien de voir que quelqu'un s'y lance, meme si ca ne concerne que certains modeles de nspire. Je ne sais pas dans quelle mesure c'est legal, ca me semble etre de l'interpretation des textes, en tout cas il faut un site et une description detaillee de ce qu'il faut faire pour que tous ceux qui ont les modeles compatibles puissent le faire.

[Hamza.S]

j'ai khiCAS sous l'OS 4.5 ça fonctionne très bien et avec la dernière correction du bug Lua c'est encore plus parfait je n'ai plus de redémarrage comme avant.

[critor]

Je n'ai pas la même analyse positive de la situation.

Nous avons donc un outil qui rajoute des fonctionnalités non officielles en mode examen aux seules TI-Nspire (uniquement de vieux modèles 2014-2015 et antérieurs à ce jour mais peu importe).

Quelle sera la réponse de l'institution ?
- soit une interdiction des seules TI-Nspire aux examens
- soit une interdiction totale des calculatrices aux examens

Dans les deux cas, cela ne sert bien évidemment pas l'intérêt général, tout à l'opposé des intentions mises en avant plus haut.



Le mode examen ne vaut rien pour qui prend le temps de se pencher sur la question, et nous sommes capables de le contourner très facilement sur une majorité des modèles conformes 2018. Les astuces techniques varient selon les modèles mais sont toujours extrêmement simples.

De façon toutefois responsable, nous avons certes pu annoncer qu'il y avait des failles, c'est la moindre des choses, mais n'avons publié aucun outil ou tutoriel expliquant leur exploitation.
Nous n'avons d'une part pas besoin de ça, et nous ne souhaitons pas d'autre part créer des ennuis aux candidats, car selon les nouveaux textes 2015 contourner le mode examen pour accéder à la mémoire est de la fraude.

Sur plusieurs modèles c'est même encore plus facile que sur les TI-Nspire CX révisions A-V. Et si rien n'est sorti, c'est pour la seule et unique raison qu'il y a beaucoup moins de développement dessus.



@chess A malin il y a toujours malin et demi.

Rien n'empêcherait un utilisateur moyen de renommer un fichier, ou de remplacer les chaînes KhiCAS/luagiac à l'éditeur hexa dans le programme, afin d'accéder à d'autres programmes ou même à des documents PDF.
Il y a visiblement une seule signature à mettre à jour, dont de plus le mode de calcul est spécifié. On trouve en ligne nombre d'outils de calcul qui permettront d'obtenir la signature KhiCAS, la localiser, et donc l'écraser.



@parisse Les tutoriels sont tous en ligne. Tout ce qui manque, c'est la publication du programme de chess, à placer dans le dossier /ndless/startup .

[parisse]

Je ne vois pas comment l'institution pourrait interdire les nspire (avec diode), meme si ca ne concerne qu'un millier d'eleves (borne inferieure), ca serait le scandale assure et une remise en cause probable de la reforme. Elle peut certainement interdire toutes les calculatrices sur un sujet particulier, mais ca m'etonnerait au bac vu les types de sujets actuels. Je m'attends plutot a une intimidation, via des procedures de fraude et passage en commissions disciplinaires, en prenant le risque d'un recours au tribunal administratif dans lequel elle aurait le mauvais role (ca serait facile d'argumenter qu'elle defend les interets du constructeur qui vend le modele CAS environ 30 euros plus cher).
C'est pour cela que je ne recommanderai personnellement pas a un eleve d'utiliser khicas dans ces conditions au bac (en tout cas pas sans avoir au prealable consulte un expert juridique). Mais la demarche de chess m'est sympathique, c'est la reaction que j'attends d'un developpeur de logiciel libre.

[critor]

Elle me serait possiblement davantage sympathique si il y avait ambition de cibler l'ensemble des modèles, comme cela a par exemple été fait pour nos lecteurs de documents - ce serait égalitaire.

Au contraire l'objectif initial ici semble être de servir des intérêts particuliers et non l'intérêt général, à savoir l'accès à KhiCAS en mode examen 2018 pour la fille si je recolle correctement les différents échanges, qui a la chance d'être équipée d'un vieux modèle TI-Nspire CX affecté par la faille en question.
Avec éventuellement accessoirement une diffusion plus ou moins publique à un cercle plus ou moins restreint.

Et si l'outil en question est libre comme vous dites, ce qui implique selon la définition FSF le droit d'accès au code source pour l'utilisateur, il sera encore plus facile de le détourner que ce que je décrivais plus haut. Plus besoin d'un éditeur hexa pour remplacer des chemins ou signatures, ou pourra directement les modifier ou même supprimer dans le code source, afin d'accéder à d'autres choses que KhiCAS.