repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
math: introduce handle_mod_rl()
2013-05-20
Dan Carpenter
math: i
n
t
r
oduc
e
handle_mod_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Car
p
enter
math: creat
e
hackish temporary handle_b
i
no
p
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math:
create new handle_
m
inu
s
_preop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math: create new han
d
le_bitwis
e
_negate() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
m
a
t
h
: introduce
h
an
d
le_e
x
press
i
on_statement_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
use handle_variable(
)
in handle_preop_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math:
intr
o
duce handle_negate_r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math:
i
ntroduce handle_ampersand_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
hack
up a temporary
handle_preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpen
t
er
math: han
d
le EXP
R
_POSTOP with _g
e
t
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math: intr
o
duce handle_condit
i
onal_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an
Carpenter
m
a
th: int
r
oduce handle
_
logical_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpen
t
er
mat
h
:
int
r
od
u
ce handle_compari
s
on_
r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n C
a
rpent
e
r
m
a
t
h: creat
e
hand
l
e_call_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math:
c
reate hand
l
e
_variabl
e
() ins
t
e
ad of _g
e
t_implied_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath: move get_c
o
nst_value() forward
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpente
r
ma
t
h: handle cast
i
ng in
_get
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: fix up some
thinkos
i
n t
h
e _get_rl()
trans
i
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
a
rpenter
ma
t
h: int
r
o
d
uce te
m
p
o
r
a
ry RL_IMPLIED e
n
um
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
ma
t
h: duplicat
e
_
g
et_value
(
) into _ge
t
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpent
e
r
ma
t
h: move absolute min/
m
ax code f
r
om
_
get
_
value(
)
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
r
p
e
nter
math: introdu
c
e _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
ra
n
g
es: in
t
roduce rl_t
o
_s
v
al(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: s/NOTIMPLI
E
D
/
E
XACT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpen
t
er
m
ath: i
m
prov
e
absolute
max/min with re
g
ards to casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
D
a
n Carpenter
sval: fix sval_too_high
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Ca
r
penter
db: in
t
roduce
c
all_results_to_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
D
an Carpen
t
er
db: move get
_
p
a
ra
m
_name() to central locat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpent
e
r
flo
w
:
look a
t
static and
n
ot-static lo
c
al
inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpenter
extra: ad
d
s
e
t_extra_nodmod() to
s
match_ext
r
a
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpenter
deref: fix
se
g
f
ault
parsing
i
nvalid c code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
i
m
plied: p
r
eserve
equivalence across
sw
i
tch sta
t
eme
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
D
a
n Carp
e
nter
math: handle s
i
zeo
f
for z
e
ro size bitfields
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra
:
handle pr
e
viou
s
ly
a
ssigned
simple math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
Carpenter
e
xtra: ha
n
dl
e
"if (a - 3 >
10
0
) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpen
t
er
ex
t
ra: split matc
h
_comparison() into tw
o
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpe
n
ter
capped: know
n
valu
e
s are a
l
w
a
ys cappe
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Da
n
Carpent
e
r
Reve
r
t "sparse: introduc
e
get_expression
_
v
alue_n
o
mo
d
()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
show
_
unreac
h
a
b
l
e
.
s
h: add some mo
r
e
i
gnored kernel functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
D
a
n
C
a
rpente
r
fl
o
w: don't p
r
int dupl
i
cate "unre
a
c
h
able cod
e
"
warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
d
b: repl
a
c
e database i
n
fo scrip
t
s
with
smdb
.
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
show_unr
e
ach
a
ble
.
sh: change the line num
b
er format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpe
n
ter
show_u
n
re
a
chable
.
sh
:
repl
a
ce
tabs w
i
th space
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpe
n
ter
db
:
k
erne
l
: fake up -
>
read/write() limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpent
e
r
d
b:
store "too commo
n
"
f
unctions in the databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carp
e
nter
param_
c
lea
r
e
d: clear_buffer: add them to the check_
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
extra: don't use th
e
indirect_m
o
dification_hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpen
t
er
extra
:
m
a
ke param_f
i
lter
s
et_extra_mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
r
osen
b
erg:
r
e
move pahole dependen
c
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
p
a
r
se:
a
d
d
a big
h
a
ck to
track packed str
u
cts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carp
e
nter
*new*
smatch_clear_b
u
ffer
.
c: handle memset()
t
ype function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
par
a
m_limi
t
/filter: ignore
w
h
o
le
r
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
enter
r
a
nges: an empty range i
s
n
ot a
w
hole ran
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpen
t
e
r
extra: re
m
ove some de
a
d c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carp
e
n
ter
extra: small fix
f
or
w
hen t
h
e database is disa
b
led
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Ca
r
penter
db: al
w
ays split the return va
l
ues if w
e
're not
u
si
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
penter
conditions: use set_extra_expr_mod() to
c
hange extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpent
e
r
user_
d
ata: c
o
mpat syscall parameters are user
d
at
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_
d
a
ta: usin
g
a user suppli
e
d offset into
an known
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpenter
locking: add some
more b
h
l
ock function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan Car
p
enter
Merge bra
n
c
h 'rfc-
a
t
tribute-st
r
uct' of git://git
.
ker
n
el
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Da
n
Car
p
e
n
te
r
check_deref: disab
l
e "potent
i
al N
U
LL dereferen
c
e" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpenter
l
ocking: add local_bh_disable
/
ena
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan Carpenter
locking:
h
andle
null vs non-NULL
r
eturns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Car
p
e
n
t
er
loc
k
ing: up
d
ate valid
a
tion/ tests to the new warning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
fu
n
ction
_
pt
r
s: "(*p
t
rs[0])
(
a, b)" is the sa
m
e as "ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpent
e
r
function_ptrs:
record
when function p
o
inter is saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
r
o
senberg:
remov
e
s
o
me structs which don't have holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpenter
rosenberg: check for nla_put in
f
o
leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpen
t
er
flow: fake memb
e
r and element assignments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Ca
r
p
enter
ex
p
r
essions: i
n
tr
o
d
u
ce array_
e
lement_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
penter
locking: take retu
r
ns valu
e
s into con
s
ideration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpent
e
r
check_kerne
l
: look harder for
the conta
i
ner_of() mac
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
pe
n
ter
impl
i
ed:
d
b: fix how returns are br
o
ken a
p
art
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
p
enter
db: return_id was set
i
ncorrectly wh
e
n inline
f
unct
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
d
b
: fix
h
o
w
t
he return values
a
re
cas
t
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpenter
helper: mak
e
is_array() accept NULL poin
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
Carpen
t
er
db: functio
n
_ptrs: do better
at
f
unction ptr to functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan C
a
r
pe
n
t
e
r
flow: create fake assignments f
o
r array declaratio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carp
e
nter
flow: e
x
pressions:
d
on't
try updating t
o
uniniti
a
lize
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n
C
a
rpenter
db
:
fixup_kernel
.
sh: (struct mISDNchan
n
e
l)-
>
s
end informat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
d
b: fixup_ker
n
el
.
sh: r
e
cord where ->notif
i
er_call
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
flow:
handle inlines be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Ca
r
penter
db: functi
o
n_ptrs: track pointe
r
to
pointer assignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
m
a
th
:
si
l
en
c
e
s
ome bu
f
f
e
r
o
ver
f
l
ow false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: fixup
_
kernel
.
sh: ignore
(
struct timer_l
i
st)->function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carp
e
n
t
e
r
db: lo
o
k
u
p all
t
he function
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
he
l
per: allo
w
get_param_num_fro
m
_
s
ym() to be
u
sed in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
s
tring_list
:
i
n
trodu
c
e list_has_stri
n
g()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an
Carpenter
smatch_strin
g
_list
.
c: s
e
p
arate string_list functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
p
enter
db: only
lookup fun
c
tio
n
poi
n
ters on
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
annotate: use it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
pen
t
er
helper:
i
gnore
p
are
n
s in e
x
p
r_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
overfl
o
w
: si
l
enc
e
k
ernel false p
o
sitive about _
_
pe
r
_cpu_offs
e
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
ke
r
nel:
rec
o
ver
m
o
dule_
i
nit/exit() fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Car
p
e
nt
e
r
f
low: pass t
h
e sym_list
to the EN
D
_
FILE_HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
a
r
p
e
n
ter
db: fi
x
u
p
_kernel
.
sh remove
s
o
m
e more USER_DAT
A
tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
db: speedup fill_d
b
_caller_info
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
extra: im
p
rove += and -= handli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: in
t
rod
u
ce sval_i
s
_nega
t
ive
_
m
in()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next