Sécurité des programmes Java

S´ecurit´e des programmes Java
T. HSU
IUT de LENS, D´epartement informatique
November 26, 2014
T. HSU S´ecurit´e des programmes Java

Part I
Assertion
T. HSU S´ecurit´e des programmes Java

Introduction
En linguistique et en philosophie – wikip´edia
un ´enonc´e consid´er´e ou pr´esent´e comme vrai
En langage informatique
une expression qui doit ˆetre ´evalu´ee `a vrai
T. HSU S´ecurit´e des programmes Java

Un exemple
unExemple.java
p u b l i c v oi d add ( Ob je ct o ) {
m a C o l l e c t i o n . add ( o ) ;
// Ma c o l l e c t i o n d o i t a v o i r un o b j e t de p l u s
}
Vous sp´ecfiez en commentant que votre collection poss`ede un
objet de plus
Pourquoi ne pas le faire en le faisant comprendre par le
langage
T. HSU S´ecurit´e des programmes Java

Un exemple Bis
unExempleBis.java
p u b l i c v oi d add ( Ob je ct o ) {
i n t o l d s i z e = m a C o l l e c t i o n . s i z e ( ) ;
m a C o l l e c t i o n . add ( o ) ;
a s s e r t m a C o l l e c t i o n . s i z e ( ) == o l d s i z e + 1 :
” A r g l ” ;
}
Lisibilit´e
Facile `a ´ecrire
Aide au d´eboguage
T. HSU S´ecurit´e des programmes Java