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
project: create a way to generate smatch_data for a new project
2017-01-20
Da
n
Carpent
e
r
math: handl
e
re
a
l
_absolute
variables more accura
t
ely
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
C
a
rpenter
real_absolute: ignore
iterator
pre statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arp
e
nter
helper: In expr_to_st
r
() r
e
move extra
p
a
r
e
nt
h
e
s
is
a
round
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
db: intr
o
d
u
ce sql_insert_data_info_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
r
penter
db: use "extern
"
i
n
stead of th
e
f
i
le n
a
me for globals
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpente
r
s
parse: intro
d
u
c
e parse_error
v
ariable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
user_da
t
a2: handle functions that mer
e
ly
r
eturn pas
s
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpenter
hoo
k
s
: intro
d
uce
A
SSIGN
M
ENT_HOOK_AFTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Ca
r
penter
db: give up handling func
t
i
on point
e
rs if there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Da
n
Carpenter
user_data2: re
m
o
v
e some de
b
ug
printfs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
D
a
n Carpe
n
te
r
user
_
data2:
d
on'
t
set the
f
uncti
o
n itse
l
f to u
s
er_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carp
e
n
t
er
u
s
e
r
_
d
ata2: improve handling
when
w
e ret
u
rn user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
Dan Ca
r
penter
f
unction_hoo
k
s
:
don'
t
mark it as impossible if a function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
Dan C
a
rpente
r
compa
r
iso
n
:
modify the links at at
sta
r
t of an assignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
D
a
n Carpent
e
r
db: cleanup get_row_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
pente
r
im
p
lied:
r
ename
a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
p
e
nter
estate: add an estate_i
s
_empty() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpe
n
t
er
d
b/k
e
rnel
.
no_inline
:
don
'
t parse the bite
s
wap
fu
n
ctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
arpenter
k
e
rnel: parse AT
O
MIC_SET() manually
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpe
n
ter
db/
k
ernel
.
return_fixes: add s
o
me mo
r
e
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/fi
x
u
p_kernel
.
sh: handle __kernel_w
r
ite() a bit better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
C
a
rpen
t
e
r
vim
_
db: handle older v
e
rsions of vim
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
pente
r
db/fixup_kernel: handle __buil
t
in_b
s
w
ap64()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
funct
i
on_h
o
oks
:
change order of how db verse implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n Carpent
e
r
param_lim
i
t: don't i
n
se
r
t empty
s
tates i
n
to the d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
an
C
arpenter
ranges: use a hack
around so when merging ranges o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
n
t
e
r
type_v
a
l: f
i
x a memory l
e
ak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
arpent
e
r
func
t
ion_hooks,
d
b
:
h
a
ndle PARAM_LIMIT for struct me
m
bers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Ca
r
penter
implied: fix a bug hand
l
i
n
g par
a
meter
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
Carpen
t
er
implied
:
add more debug informa
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-05
D
an Carpenter
db: s
o
rt return_states by file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Car
p
enter
f
low: tiny cle
a
n
up
handli
n
g a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
fl
o
w
: remove an unneed
e
d
condi
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
D
an Carpente
r
flow: renam
e
a
vari
a
ble "tmp
"
-> "right"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-15
Dan
C
arpente
r
kernel
.
ignored_macros: a
d
d LASSERT()
from lustre
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Da
n
Carpenter
function_hooks, db: use INTERN
A
L
a
s
the marke
r
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
db: han
d
le f
u
nction pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
check_ke
r
nel_p
r
intf
.
c: %pj e
n
ded up
being %pG
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus
V
i
l
lemoes
check_ke
r
nel_pr
i
ntf
.
c:
h
a
n
dle new defi
n
ition of KERN_CONT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Ra
s
mus Vil
l
emoe
s
check_
k
ernel_printf: c
h
e
ck
t
hat %pg gets
a block_d
e
vice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
D
an
C
arpenter
user_data2: math: functi
o
n calls should be
h
andl
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
ma
t
h: fix a t
y
pe issue with MOD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-28
Dan
C
arpe
n
t
e
r
untracke
d
_param:
functions
that ar
e
too hairy are u
n
t
r
acka
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
address:
s
im
p
l
ify is_non_null_arra
y
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
t
ype_val: use the correct type in ge
t
_db_type
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
D
an Carpente
r
implie
d
: fix a bug w
i
th
borrowed implic
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
flow: handle
d
declar
e
d l
a
be
l
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpent
e
r
ranges: re
a
d u64max
c
orrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Ca
r
penter
smatch: remove tests to se
e
i
f
an
array is N
U
LL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carp
e
nter
e
xtra: handle
"
if (a
+ b <
a
) { "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
slist
:
Sil
e
nce a smatch warni
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Da
n
Ca
r
pen
t
e
r
d
e
bug: add
the __smatch
_
a
bsolute() h
o
ok
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n Ca
r
pe
n
ter
buf_si
z
e: Using plain integer as NULL
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Car
p
e
n
ter
db: Using p
l
ain in
t
eger as NUL
L
po
i
nter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Car
p
enter
a
s
t-model: Us
i
ng plain integer a
s
NU
L
L point
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
d
ebug: add a
__
s
match_absolute()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
user_data: short circu
i
t a b
u
nc
h
of
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
penter
dma_mapping_error
:
add pci_dma_ma
p
p
i
ng_e
r
ror()
t
o this
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
c
o
ntinue_vs_
b
reak
:
a
d
d it checklist
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
smat
c
h_a
d
d
r
ess: don't cra
s
h
o
n invalid c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpente
r
*new*
contin
u
e_vs_break
:
complain if continu
e
is used
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
smat
c
h
.
h: reserve some
d
b typ
e
s
fo
r
l
at
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch
.
h: shuffle
some dec
l
arations
a
round
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
C
arpenter
s
match
.
h: s
i
lence a compile
w
a
r
n
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Car
p
enter
capped:
set it to un
c
apped
if it'
s
modified
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
db/fixup_kerne
l
.
s
h: work
around for __to_f
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
db/fixup
_
ker
n
el
.
s
h
: work
around for
gfs2
_
e
a_fi
n
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
e
n
t
er
db/kerne
l
.
r
eturn
_
fixes:
s
pecify some fun
c
tions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
impli
e
d: add
m
ore infor
m
ation to the
d
ebug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
d
e
bug: print
if you
give
a
bad check
n
ame
t
o __s
m
atch_sta
t
es(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch_d
a
t
a
/wine: up
d
ate
wine data file
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
e
xt
r
a:
a
dd
more parameter der
e
f
e
r
e
nces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
mat
h
:
don't
c
rash on i
n
val
i
d
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
use
r
_
data2: skb->data
i
s no
t
user
data, skb->data[0]
i
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpent
e
r
type_
v
a
l
ue: it doesn't make sens
e
to talk about the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
enter
e
x
tra: impr
o
v
e
how "if (foo & ~
0
xF)" is
h
an
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
math: ignore
by
t
e swaps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
flow: handle wh
i
le (42)
{
.
.
.
} lo
o
ps
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpe
n
ter
comparison,
f
u
nction_hoo
k
s: remove impossible
paths
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpen
t
er
pa
r
a
m_compare
_
li
m
i
t
:
l
ike par
a
m_limit but f
o
r comparis
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
c
o
mpa
r
is
o
n: a
d
d a FIXME
r
e
g
arding a
bug I noticed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan
C
arpenter
comparison: load/u
s
e r
e
turn comparison
s
in th
e
cross
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
D
an Car
p
enter
comparison: load stru
c
t member
i
n
f
o into the
c
a
ller_info
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Ca
r
penter
compari
s
on:
l
oad
t
he correct co
m
p
arison information
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan Ca
r
penter
flow: don't call scope
h
ooks until after the EN
D
_FUN
C
_HOOKs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan
C
a
rp
e
nter
m
o
dification
_
hooks:
g
oing out
o
f scope is not a m
o
dification
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carp
e
nter
db/fixup_kerne
l
.
sh: upda
t
e
g
et_user
_
pag
e
s()
t
o matc
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpe
n
ter
fu
n
ction_hooks
:
pull is_impossible_data() into its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Ca
r
pen
t
e
r
co
m
parison: cleanup ha
n
dle_compariso
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpente
r
comp
a
rison: export
some functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-09
Dan Ca
r
pe
n
ter
states: nullify_path() should do free the fake_cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
D
a
n Carpenter
d
b: handle c
o
m
p
arisons that we know are true better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
db: mark some true false paths
i
mpossi
b
le
b
a
sed
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan
C
arpenter
ranges,
db: if we c
a
n't filter by co
m
parison the
n
use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
d
b: han
d
le nest
e
d
c
a
ll
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-04
Dan Carpenter
extra: re-write ha
n
dle_AND_condition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Ca
r
p
en
t
er
implie
d
: handle imp
o
s
sible paths from co
m
plicated switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Car
p
enter
imp
l
ie
d
: get rid of the
->implied m
e
mb
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
implied: get rid of a temp
o
r
ary variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Car
p
ente
r
smatch_data/wine
.
no_return_funcs: add mo
r
e functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next