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: fix up some thinkos in the _get_rl() transition
2013-05-20
Dan Ca
r
penter
math: fix up some thinkos i
n
the _ge
t
_r
l
() transition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math:
i
ntro
d
u
ce tem
p
orary RL_IMP
L
IED enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
duplicate _get
_
v
a
l
u
e() into _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Ca
r
pente
r
math:
m
ove absolute min/max code
from _g
e
t_v
a
lu
e
()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math
:
introd
u
ce
_
get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
ranges:
i
n
troduce rl_t
o
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpent
e
r
m
ath:
s/
N
OTIMP
L
I
E
D/EXACT/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan
C
arpenter
math: impro
v
e absolute
m
ax/m
i
n
w
ith re
g
ards to casting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpent
e
r
sv
a
l: fix
sval
_
t
o
o
_high()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
D
an Carpenter
db: introduce call_results_to_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpen
t
e
r
db
:
move get
_
param_
n
ame() to central
loc
a
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpente
r
flow: look at st
a
tic an
d
not-st
a
tic loc
a
l i
n
line functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpenter
e
xtra: add set_extr
a
_n
o
dmod(
)
t
o smatch_extra
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpenter
deref: fix segfa
u
lt par
s
in
g
i
nvalid c code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan C
a
rpenter
implied: preserve e
q
uivalence acr
o
ss swit
c
h s
t
atements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
D
a
n Carpenter
math: han
d
le
s
izeof for
z
ero
size
b
itfields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpe
n
t
e
r
ext
r
a: handle previo
u
sly assig
n
ed sim
p
le math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpente
r
extra: handl
e
"if (a - 3 > 100) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: split
m
atch_comparison() into
two functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n Carpen
t
e
r
ca
p
ped: known values ar
e
always ca
p
ped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
Reve
r
t "sp
a
rse: introduce
g
et_expression_value_nomod()"
commit
|
commitdiff
|
tree
2013-04-20
D
an C
a
rpenter
show_unreachable
.
s
h
:
a
dd some more
i
g
nor
e
d kernel f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan
Car
p
enter
flow: don
'
t
print duplicate "unreachable code" w
a
r
n
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Car
p
ente
r
d
b: replace
d
a
t
abase info
scripts with smdb
.
p
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan C
a
r
penter
show_unre
a
chable
.
sh: ch
a
nge the line number format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
D
an Carpente
r
s
h
o
w_unreachable
.
s
h
:
rep
l
ac
e
tab
s
w
i
t
h spaces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpenter
d
b: kern
e
l
:
f
a
ke
up -
>
read/write() limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n
Carpenter
db
:
store "t
o
o
comm
o
n" functi
o
ns in the da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rp
e
nter
param_c
l
eared: cl
e
ar_b
u
ff
e
r: a
d
d
t
hem to the check_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
extra: don't use
t
he indi
r
ect_modification_hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n C
a
rp
e
nte
r
e
xtra: make param_filter set_extra_mod(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
rosenberg: re
m
o
ve pah
o
l
e
d
ependency
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
parse: add
a bi
g
hack t
o
tra
c
k packed st
r
ucts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
*
new* smatc
h
_
clear_buffer
.
c: handl
e
mems
e
t() type fu
n
cti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
t
e
r
p
ar
a
m_limit/fi
l
ter:
i
gnore whol
e
ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
an C
a
rpenter
ranges:
an empty range is not a whole range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Car
p
enter
extra: remove some de
a
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpe
n
t
e
r
extr
a
: s
m
all
f
i
x fo
r
w
hen the
database is disab
l
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
db: always s
p
l
it
t
h
e
ret
u
r
n
v
alues if we're not usin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
con
d
itions:
u
se set_extra_expr_mod() to change e
x
tra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user
_
data: compat sys
c
a
l
l paramete
r
s ar
e
u
s
er data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpenter
u
ser_da
t
a: using a user supplied of
f
s
et into
a
n known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
a
rpent
e
r
locking: add
s
om
e
mo
r
e bh lock f
u
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
Merge b
r
anc
h
'rfc-a
t
tribute-struct
'
of
g
i
t
://git
.
k
ernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpe
n
ter
check_d
e
re
f
: disable "potential
N
ULL der
e
ference"
by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpente
r
locking
:
a
d
d local_b
h
_disab
l
e
/
e
n
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
D
a
n Carpenter
locking: handle null
vs
non-N
U
LL returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpente
r
lo
c
k
i
ng: u
p
date validatio
n
/ tests to t
h
e new war
n
in
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
function_p
t
rs
:
"(*
p
trs[0])(a,
b
)"
is th
e
same a
s
"
ptrs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
f
unction_
p
trs
:
r
e
cord when function
p
o
inter is
save
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
r
ose
n
berg: remove some struct
s
whic
h
don
'
t
h
ave holes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
Ca
r
penter
r
o
se
n
berg: ch
e
c
k for n
l
a_put
in
f
o lea
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
flow: fake me
m
ber
a
nd element
a
ssignments bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
C
a
rpenter
expres
s
ions: introduce array_el
e
ment_
e
xpression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpenter
locking: take returns values in
t
o consid
e
ration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carp
e
nter
chec
k
_
k
ern
e
l: look
h
a
rder for
t
h
e
container_of(
)
macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
C
arpenter
implied: db
:
fix ho
w
re
t
u
r
ns a
r
e
broke
n
a
part
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
db: return_id was set incor
r
ectly when
inline
function
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
a
rpen
t
er
db
:
fix how
t
he re
t
urn
v
alues ar
e
casted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpenter
helper:
make is_arra
y
() acc
e
p
t NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpent
e
r
db:
function_ptr
s
: do better at function ptr to
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n Car
p
enter
f
low: create fake assi
g
nments for array de
c
larations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n
Ca
r
pent
e
r
flow: expressions: don't
tr
y
updat
i
ng t
o
uninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n Carpenter
db: fixup_kerne
l
.
sh:
(struct mISDNch
a
nn
e
l)->
s
end infor
m
atio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n Car
p
enter
db: fixup_ker
n
el
.
s
h
: rec
o
rd where -
>
notifier_c
a
ll i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
arpente
r
flow: h
a
ndle inlines bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpent
e
r
db: fu
n
c
tion_ptrs
:
tr
a
ck pointer to pointer assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpent
e
r
math: silence some buffer
o
verflow
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpente
r
db: f
i
xup_kernel
.
sh
:
ignor
e
(struct timer_list)->functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Ca
r
p
enter
db:
l
o
o
k
up all the function p
o
inters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
helper:
allow get_param_n
u
m_from_sym() to b
e
used in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpe
n
ter
string_li
s
t: introduce list_ha
s
_
string
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arp
e
nte
r
sm
a
tch_str
i
ng_list
.
c
:
separate string_list f
u
nctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: only lookup function pointers
o
nce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
annotate:
us
e
i
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rp
e
nt
e
r
helper:
ignore
p
arens in expr_t
o
_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpent
e
r
overflow: sile
n
c
e
kernel
false p
o
s
i
tive ab
o
ut __per_
c
pu_o
f
f
set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
kernel:
r
ec
o
v
er m
o
d
u
l
e_
i
nit/exit() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
flow: pas
s
the s
y
m_
l
i
s
t
to
t
he END_FILE_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: fixup_kerne
l
.
sh remo
v
e some mo
r
e US
E
R_DATA tag
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: speedup
f
ill_
d
b
_cal
l
e
r_info
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpe
n
ter
ex
t
r
a: improv
e
+= and -= h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval:
introduce sval_is_n
e
ga
t
i
ve_mi
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: fix
sval_binop_overf
l
ows() to accept
dif
f
ere
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arp
e
nter
introduce smatch_anno
t
ate
.
c: annotate some
co
m
mon function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
pe
n
t
e
r
db:
g
ive u
p
if there ar
e
over 1000 returned st
a
te
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: fi
x
slow down caus
e
d
b
y recursiv
e
function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
an Carpenter
buf_size:
f
alse positive from large "imp
l
ie
d
" implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carp
e
n
ter
helper: fi
x
expr_to_
s
tr() f
o
r functi
o
n
c
alls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpente
r
db: remove
m
ore user data from start_xmit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
db: manuall
y
delete some USE
R
_
DATA m
a
rk
e
rs from th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
Dan Ca
r
penter
extra: move vanil
l
a assigns int
o
t
h
eir own
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
r
a
nges: in cast_rl()
some
t
i
m
es it's
b
etter to
j
ust
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpenter
extra: type bug
handling asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Carp
e
nter
db: fix
b
ug
handling ':'
c
haracter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arpenter
math: U
s
e funct
i
on call inform
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
flow: handle POST_OPs correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
nter
buf_size
:
handle
dma
_
alloc_attrs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arpenter
extra: type
bug
handling for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpenter
math: f
i
x a couple type
b
ugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next