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
Carp
e
nt
e
r
math: introduce ha
n
dle
_
mod_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Ca
r
penter
math: c
r
eate hackish temporary handl
e
_binop
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
mat
h
: create ne
w
handle_minus_
p
reop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: create new hand
l
e_bi
t
wise_negat
e
() fun
c
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math: introduce
handle_ex
p
ress
i
on_stat
e
ment_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Car
p
en
t
e
r
math:
u
se
h
andle_variable()
in handle_p
r
eop
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
ma
t
h: introdu
c
e handle_negate_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
ente
r
m
a
th: introd
u
ce handle_ampersand
_
r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
m
a
t
h
:
hack up a tempo
r
ary handle_preop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
t
h:
h
an
d
le
EXPR_POSTOP with _
g
et
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Car
p
e
n
ter
math: introd
u
ce handle_condition
a
l_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpent
e
r
m
a
t
h: int
r
oduce
han
d
le_logical_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpente
r
math: introduce
handle
_
co
m
parison_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
: crea
t
e handle_c
a
l
l_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: creat
e
handle_varia
b
le()
i
nstead
of _get_impl
i
ed_value
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math: m
o
ve
g
et_co
n
st_value()
forwa
r
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
: handle c
a
sting in _get_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: fix up some thinkos in the
_
g
et_r
l
(
)
tra
n
sition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
a
rpen
t
er
math: introduce temp
o
rary R
L
_
I
MPLIED
e
num
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
ma
t
h: dupl
i
cate _get_value() into _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math: move ab
s
olute min/max code from _
g
et_va
l
ue()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
at
h
:
i
nt
r
oduce _
g
e
t
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
ranges: introduce rl_to_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
a
rpenter
ma
t
h: s/NOTIMPLIED/EXACT/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan
C
arpent
e
r
mat
h
: improv
e
absolut
e
max/m
i
n with reg
a
rds to casting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
D
a
n
Carpenter
sv
a
l: f
i
x
sval_
t
oo_high()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
D
a
n
C
a
rpent
e
r
db: introduce
call_r
e
sults_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan C
a
rpenter
db
:
move get_
p
aram_name() to central location
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
flow: look at static an
d
no
t
-static loca
l
inline
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
Dan Car
p
enter
extra:
add set_extra_nodmod() to
s
match_extra
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Da
n
Carpe
n
ter
deref: fix segfault parsing
i
n
valid c code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
D
a
n
Carpenter
i
m
p
l
i
ed: pre
s
erve e
q
u
ivalen
c
e across swi
t
c
h
s
tatements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpent
e
r
math: handle siz
e
of for zero siz
e
bitfiel
d
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpente
r
extra: handle prev
i
ously assigned simple math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
ex
t
ra: handle "if (a - 3
> 100) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: spl
i
t m
a
tc
h
_co
m
pariso
n
() into two fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
capped: known v
a
lues are always c
a
pped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan
Carp
e
n
t
er
Revert "
s
parse:
intr
o
duce g
e
t_expre
s
si
o
n_value
_
n
om
o
d()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
show_un
r
eacha
b
le
.
sh: a
d
d some more
i
gnored kernel funct
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
flow: don't
p
rint
d
u
plicate "u
n
re
a
chable code"
w
arnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan
C
arpenter
db: replac
e
d
a
tabase in
f
o
s
cripts
w
ith smdb
.
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Da
n
Carpenter
show_unreachable
.
sh
:
c
h
a
n
ge the
lin
e
number
fo
r
mat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan
C
arp
e
nter
show_unrea
c
hable
.
sh: replace
t
abs w
i
th spaces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpenter
db: kernel: fa
k
e
up
-
>read/write() limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpen
t
er
d
b
: store
"
too common" f
u
nctions in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
param_cleared: clear_b
u
f
f
e
r: add them to the
check
_
list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
e
x
tra: don't u
s
e the
i
nd
i
rect_m
o
difi
c
ation_hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
nt
e
r
ex
t
r
a: make param_
f
ilt
e
r set_extra_mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carp
e
nter
rosenberg: remove pahole dependency
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
a
r
pent
e
r
parse:
add
a
b
i
g h
a
ck to track packe
d
st
r
uct
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpenter
*new* smatch_cl
e
ar_buffer
.
c:
h
a
n
d
l
e me
m
set()
t
y
p
e functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
p
a
ram_lim
i
t/filte
r
: ignore wh
o
l
e ra
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
ra
n
ges: an empty
r
a
n
ge
is not
a
w
hole ran
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n C
a
r
p
enter
extra:
r
e
move
so
m
e dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpen
t
e
r
extr
a
:
smal
l
fix for wh
e
n the database
is disabled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rpenter
db: always split the r
e
tu
r
n values
if we're not using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpe
n
ter
c
o
ndit
i
on
s
:
use
s
et_extra_
e
xp
r
_mod
(
) to
c
hang
e
ex
t
ra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carpe
n
t
er
user_data: com
p
a
t
syscall
p
arameters ar
e
us
e
r
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Ca
r
penter
us
e
r
_
data: using a u
s
er supplied
o
ffset into an
known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
lock
i
ng: add some
more bh l
o
ck functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan C
a
rpente
r
Merge bran
c
h
'r
f
c-a
t
tribu
t
e
-stru
c
t' of gi
t
:
/
/
git
.
kerne
l
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
D
an Ca
r
penter
che
c
k_d
e
r
ef:
d
isable "potential NULL derefer
e
nce
"
by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan Ca
r
penter
locking:
a
d
d
loca
l
_
bh_disable/enable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
Dan Carpenter
lockin
g
: h
a
ndle null vs
non-NULL
returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Ca
r
pen
t
er
locki
n
g
:
update vali
d
ation/ tests to the new
warning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
function_ptrs:
"
(*ptrs[0])(a,
b
)" is the
same as
"ptrs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
function_ptrs: recor
d
when
function p
o
inter is s
a
ved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
nter
rosenberg: remove some
s
tructs w
h
ich do
n
'
t
have holes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
an
C
arpent
e
r
rosenb
e
rg:
c
heck f
o
r
nla_
p
ut info leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
r
penter
flow: fake member
a
n
d eleme
n
t assignm
e
nts
b
e
t
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
expressions: int
r
odu
c
e a
r
r
a
y_element_ex
p
ression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
locking:
ta
k
e retu
r
ns va
l
ues into consideration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
check_kernel:
look harder fo
r
the container_o
f
(
) mac
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
implied: db:
f
ix how returns are broken ap
a
rt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
db: return_id was s
e
t inc
o
rrectly when i
n
line fu
n
cti
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
C
arpent
e
r
db
:
fix how the return values
a
r
e casted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpent
e
r
helper: make
is_array()
a
cce
p
t
N
ULL po
i
nte
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpe
n
ter
d
b:
f
u
n
c
tion_ptr
s
: do better
at fun
c
tion p
t
r to fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpent
e
r
f
l
ow:
c
r
eate
fa
k
e assignments for
a
rray de
c
larat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
Car
p
e
n
ter
f
low:
e
xpressions: don't tr
y
upda
t
ing to
uninit
i
alized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fixup_kernel
.
sh: (struct mISDNchannel)->
s
end information
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan
C
arpent
e
r
db:
fixup_kernel
.
sh: record where ->notifier_ca
l
l is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n
C
arp
e
nter
flo
w
: handle inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpent
e
r
db
:
f
unction_ptrs: t
r
ack
pointer to p
o
i
nter assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
math: silence some buffer over
f
low f
a
lse
pos
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: fixup_kernel
.
sh: ig
n
ore (str
u
c
t tim
e
r_list)->f
u
n
c
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: lo
o
k up
a
l
l the
f
unc
t
ion p
o
inters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
ar
p
ente
r
helper: allow ge
t
_param_num_f
r
o
m_sym() t
o
be used
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpe
n
ter
string_list: i
n
troduce list_ha
s
_s
t
ri
n
g
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
smatch_string_list
.
c: separate st
r
ing_list functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
d
b
:
o
nly loo
k
up function pointe
r
s on
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
annotate: use it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
n
t
er
helper: ig
n
o
r
e parens in ex
p
r_to_va
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
p
e
nte
r
over
f
low: silence
k
ernel
f
alse positive about __per_cpu_offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpent
e
r
kerne
l
: re
c
ove
r
module_init
/
exit()
f
un
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpente
r
f
low: pass the sym_list to the END_FI
L
E
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
db: fixup_kernel
.
sh re
m
ove some more USER_DAT
A
ta
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
db: speed
u
p fill_db_caller_
i
nfo
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an C
a
rpen
t
e
r
extra: improve += and -= handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
sval: in
t
r
oduce sval_is_negative_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next