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
ranges: introduce rl_to_sval()
2013-05-20
Dan Carpente
r
ra
n
ges: introduce rl_to_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
arp
e
nter
math: s/NO
T
IMPLIED/EXACT/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpe
n
ter
ma
t
h
:
improve
absolute
m
ax/mi
n
with regards t
o
c
as
t
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
D
a
n C
a
rpent
e
r
sva
l
:
f
ix sval_t
o
o_high
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
D
an
C
a
r
penter
db: introdu
c
e call_r
e
sults_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan
C
arpenter
db
:
m
o
ve get_param_name()
t
o central
loc
a
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
f
l
ow: look
a
t static
and n
o
t-static local inlin
e
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
D
an Carpen
t
er
e
x
tra: add set
_
ext
r
a_nodmo
d
(
) t
o
sma
t
ch_extr
a
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpenter
deref:
fix segfault parsing inva
l
id c code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
implied:
p
reserv
e
equivalence ac
r
o
s
s
swit
c
h statement
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
m
ath
:
handle si
z
eof for zero s
i
ze
b
itfields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpe
n
ter
extra: handle
previo
u
sly a
s
signed simple math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: h
a
nd
l
e
"if (a -
3
> 1
0
0) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpen
t
er
ext
r
a: split match_c
o
mpar
i
s
o
n() into two functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n
C
arp
e
n
t
er
capp
e
d:
k
nown values are
a
lways capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
D
an Carpenter
Rev
e
rt "sparse: intr
o
duc
e
ge
t
_expression_value_nomod
(
)"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
show
_
u
nreacha
b
le
.
s
h: add some more ignor
e
d ker
n
el functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
D
a
n
Carpente
r
flow:
d
on't
print
d
u
p
l
i
cate
"unreacha
b
le c
o
de"
warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
db: replace
dat
a
base
info script
s
wit
h
smdb
.
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
s
h
ow_u
n
reachable
.
sh: change the l
i
ne num
b
er format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
sho
w
_
unr
e
a
chable
.
sh: replace tabs with spaces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
Da
n
Carpenter
db: kernel: fake up
->read/wri
t
e() limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
db: store
"
too common" funct
i
o
ns
i
n
t
he database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
para
m
_cleared:
c
lear_
b
uffer: add them t
o
the check_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
a
r
penter
extra: don't
u
se
t
he indirect_modification_hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
extra: make param
_
filte
r
set_extra_
m
od()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
ros
e
nberg: r
e
move pahole dependency
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
parse: add a
bi
g
h
a
c
k
t
o
track pack
e
d structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpenter
*n
e
w* s
m
atch_
c
lear_buffer
.
c:
h
andle memset() type func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
t
er
param_limit/filter: ignore whole r
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Car
p
enter
ranges: a
n
e
mpty range
is not
a whole range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpent
e
r
e
x
t
ra: r
e
move some
d
ead
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpenter
extra: small
fix fo
r
w
h
en the
d
atabase
is disa
b
led
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpe
n
ter
db: always
sp
l
it the re
t
u
r
n v
a
l
ues
if we
'
re not
u
sing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
con
d
itions: use se
t
_extra_expr_m
o
d() to ch
a
nge
e
xtr
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpente
r
u
s
er_data: compat sysca
l
l p
a
rameters
a
re user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rpenter
user_data: using a user supplied o
f
fset
into an known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpen
t
er
l
o
cking: add some
m
o
re
bh lock func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
D
a
n Ca
r
p
e
nter
M
erge branch
'
rfc-at
t
ribute-struct' o
f
git:/
/
git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
D
a
n Carpe
n
ter
c
h
eck_deref: disable "p
o
tential NULL d
e
r
e
ference" by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpenter
l
o
cking: a
d
d local_bh_di
s
a
ble
/
enable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
Dan Ca
r
pent
e
r
l
o
c
k
ing: handle n
u
ll vs non-NUL
L
returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
locking:
u
pdate vali
d
a
t
ion/ test
s
to t
h
e new wa
r
ning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
functio
n
_ptr
s
: "(*ptrs[0])(a, b)" is the same as
"
p
trs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
func
t
ion_ptrs: rec
o
rd
w
hen functio
n
pointer
is sa
v
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
Carpenter
rosenber
g
: rem
o
v
e
some
structs which don't have
h
oles
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
rosenb
e
rg: check for nla_pu
t
info leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpente
r
flow: fake
m
ember and
e
l
e
me
n
t assignments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
n
ter
e
xpressions: i
n
troduce array_e
l
ement_express
i
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
locking: ta
k
e retu
r
n
s values into c
o
nsideration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
an Ca
r
pe
n
ter
check
_
ke
r
nel: look har
d
er for the c
o
n
t
ainer_of
(
)
mac
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
pent
e
r
im
p
l
ied: db: fi
x
how
returns are b
r
oken apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpent
e
r
d
b:
return_id was set incorrectly when inline funct
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db:
f
ix
how the
retu
r
n values a
r
e casted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
D
a
n Ca
r
penter
h
elper: make is_
a
r
r
ay() a
c
cept
N
ULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n
Ca
r
penter
db:
f
uncti
o
n
_
pt
r
s: do be
t
t
er at function
ptr to
f
u
nct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
an Carpenter
flow: create fake assignments for array dec
l
a
r
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
Carpente
r
flow: exp
r
essions:
d
on't try
updat
i
ng
t
o uninitial
i
ze
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fixup
_
k
erne
l
.
s
h
:
(struct
m
I
S
D
N
cha
n
nel)->se
n
d
i
nfo
r
mati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carp
e
nter
db: f
i
xup_kernel
.
sh: record whe
r
e
-
>notifier_ca
l
l is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n
C
arpenter
f
low:
h
andle inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: fun
c
tion
_
pt
r
s: track point
e
r to pointe
r
a
s
signment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan C
a
rpent
e
r
math:
silence some b
u
ffer overflow false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
an Carpenter
db
:
fixup_kernel
.
sh: ignore
(
str
u
ct timer_list)->
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-01
Szymon
Janc
extra: Fix segmentation fa
u
lt i
n
match_a
s
s
i
gn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
d
b: look up all th
e
f
unction point
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
helper: al
l
ow get_p
a
r
am_num_from_sym() to b
e
used in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
string_l
i
st: introduce l
i
s
t_h
a
s_string
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
C
a
rpenter
smatc
h
_
s
t
ring_list
.
c: s
e
parate string_list functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
db: o
n
ly l
o
okup function point
e
rs on
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
a
n
not
a
te: use it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpen
t
e
r
helper:
i
gnore pa
r
ens in exp
r
_to_
v
ar
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
overflow
:
silence kernel false
positive ab
o
u
t
__per_cpu_offse
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpe
n
ter
kernel: recover module_init/exit() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
te
r
flo
w
: pass the sym_l
i
st to th
e
EN
D
_FILE_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
db: fixup_
k
ernel
.
s
h
remo
v
e s
o
me m
o
re USER_DATA tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
C
arpent
e
r
db:
sp
e
edup
fill_db_caller_info
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
r
penter
extra
:
improve += a
n
d -= handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
sv
a
l: introduce sval_i
s
_negati
v
e
_
m
i
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
sval: fi
x
sval_binop
_
overflow
s
(
)
to a
c
cept
d
if
f
erent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpent
e
r
i
n
troduce smatch_a
n
notate
.
c: annotate some
c
o
mmon functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
db:
give up if t
h
ere
are over 1000 returned st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: fix slow
d
own caused by r
e
cursi
v
e
function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpe
n
ter
b
uf
_
size: false positive fro
m
lar
g
e
"
i
mplie
d
" i
m
plied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpen
t
er
helper
:
f
i
x
expr_to_str() f
o
r function call
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rpe
n
ter
db: remove more u
s
er data from s
t
ar
t
_xmit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Da
n
C
a
rpenter
db: m
a
n
ually delete some USER_DATA marke
r
s
f
rom
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
extra
:
move vanilla as
s
i
g
n
s
i
n
to their own funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Carpe
n
ter
ran
g
es: in cast_r
l
() sometimes it's better to ju
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carpenter
ex
t
r
a
: type bug han
d
ling asm expr
e
ssions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an
Carpente
r
d
b: fix bug han
d
li
n
g ':'
c
h
aracter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an C
a
rpent
e
r
ma
t
h: Use function call i
n
f
o
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
flo
w
: 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_at
t
rs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
extra: type
bug handli
n
g for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arpente
r
math: fix a cou
p
le type b
u
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
nter
locki
n
g
:
fix
bu
i
ld
p
roblem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
nter
user_data: the pointer re
t
u
r
ned from contai
n
er_of(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpen
t
er
d
b: update a debug me
s
sage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpen
t
er
db: change the
f
ile
se
a
rched for stat
i
c
f
unc
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next