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
user_data2: remove some debug printfs
2017-01-18
Dan Carpenter
user_data2: remove some deb
u
g printf
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan
Ca
r
penter
user_data2: don't
set t
h
e
functi
o
n itself to user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan
Carpe
n
ter
use
r
_data2: im
p
rove handl
i
n
g when we re
t
ur
n
user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
Dan Carp
e
n
t
er
function_hooks: d
o
n't mark
i
t as
i
m
p
o
ssib
l
e if
a function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
Dan Ca
r
penter
comparison: modify t
h
e li
n
ks at at start of an assignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
D
an Carpent
e
r
db: cleanu
p
get_row_cou
n
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
an Carpe
n
ter
implied: rename a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
estate: add an
estate
_
is_empty() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n Carpenter
db/kernel
.
no_inline: don't pars
e
the b
i
te s
w
a
p
functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rpent
e
r
kernel: parse
A
TOMIC_
S
E
T
(
)
man
u
ally
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rpenter
db/kernel
.
return_fixes:
a
dd some
m
ore
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpe
n
ter
db/
f
ixup_kernel
.
sh: handle __kernel_wr
i
te() a bit better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpen
t
er
vim_
d
b: hand
l
e older versi
o
ns of v
i
m
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
arpente
r
db/
f
ixup_kernel: han
d
le __builtin_
b
swap64()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n Carpenter
fu
n
ction_ho
o
ks: cha
n
ge
o
r
der
o
f how d
b
verse implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpe
n
ter
p
aram_
l
imi
t
: don't insert e
m
pty
states into the d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Ca
r
penter
r
a
n
ges
:
us
e
a
ha
c
k aro
u
nd so when merging ranges o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
type_val: fix
a memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
functi
o
n_hooks, db: h
a
ndle PAR
A
M_LIMIT for struct
m
embers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpe
n
ter
implied: fi
x
a bug handli
n
g
p
aram
e
ter implic
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan
Carpenter
imp
l
ied:
add m
o
r
e debug information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-05
D
a
n Carpenter
db: sort return_states by
f
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Ca
r
p
e
nter
flow: tiny cleanup
h
andling a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carp
e
nter
flow: remov
e
an un
n
e
eded condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
D
an Ca
r
penter
flow: rename a variable "tmp" -> "r
i
ght"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-15
Dan Car
p
e
nter
kernel
.
ign
o
r
ed_macro
s
: add L
A
S
SERT() from lustre
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
D
an Carpenter
function_hook
s
, db: use INT
E
RNAL as the
marker for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
db: han
d
le
f
u
n
c
tion pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Rasmu
s
Vil
l
e
m
oes
check_kernel_printf
.
c:
%
pj ende
d
up
b
e
ing %pG
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus
V
illemoes
check_kerne
l
_pri
n
t
f
.
c: hand
l
e ne
w
d
e
fi
n
ition
o
f
KERN_CONT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
R
asm
u
s
Villem
o
es
chec
k
_kernel_p
r
intf: chec
k
that %pg gets a
b
lock_device
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
user_data2
:
math: f
u
n
ction
calls should be h
a
ndled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
mat
h
: fi
x
a typ
e
issue with MOD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-28
Da
n
Carpe
n
ter
untra
c
ked_param:
f
u
nc
t
ions that are too hairy are untrack
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
address: simplify
i
s
_
n
on
_
null_a
r
ray()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
ty
p
e_val:
u
se
t
he c
o
rrect type in get_db_type_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
i
mpl
i
ed: f
i
x a bug with borrow
e
d implicati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
flo
w
: handled declared labels bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
ran
g
es: r
e
ad u64max
c
orrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
an Carpenter
smatch: remove t
e
sts to se
e
if an arra
y
is NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carp
e
nter
e
xtra:
h
andle "if (a
+
b
< a) { "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpent
e
r
sli
s
t: S
i
l
e
n
c
e
a smatch war
n
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
debu
g
:
add the _
_
sm
a
tch_
a
bsolute() hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpenter
buf_size: Using pla
i
n i
n
teger as NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpe
n
t
e
r
db: Using plain integer as NULL p
o
inter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpe
n
ter
ast-model: Us
i
ng plain integer as NULL
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
d
e
bug: add
a
__smatch_absolute(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
user_data: short c
i
rcuit a
b
unch of code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpente
r
dma_m
a
pping_error: add pci_dma_mapp
i
ng_error()
t
o this
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
continue_vs
_
break:
a
d
d i
t
checklist
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
s
match_add
r
ess: don't c
r
ash on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an C
a
rpenter
*new* continue_vs_break: complain if continue is used
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatc
h
.
h:
rese
r
ve some db types f
o
r
l
ater
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch
.
h: s
h
uf
f
le so
m
e de
c
la
r
ations around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
p
e
n
ter
sma
t
c
h
.
h: sil
e
nce
a compile war
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
C
a
rpenter
capped: set it to uncapped if it's mod
i
f
ied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db/fi
x
up_kernel
.
sh: w
o
r
k
aroun
d
for __to_fd(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
d
b
/
fixup_kernel
.
sh: work arou
n
d for gfs2_ea_find(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
db/kernel
.
ret
u
r
n
_fix
e
s
: specify some func
t
ions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
i
m
pl
i
e
d
: add more
i
nformation to the debug out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
debug:
print if you
give a
b
ad check
n
a
me to
__smatc
h
_s
t
ates()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
p
ent
e
r
s
match_
d
ata/wine: update
w
ine da
t
a fil
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
er
extra: add more paramet
e
r dere
f
erences
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
e
r
math:
don
'
t crash on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
user_data2: skb->data i
s
n
ot user dat
a
, skb->data
[
0] is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carp
e
nter
type
_
value: it
d
oesn't make sense to talk about the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
extra: i
m
prove
h
o
w "if (foo
&
~0xF)
"
is hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
math: ignore byte swaps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
enter
f
l
ow: h
a
nd
l
e
while (42) {
.
.
.
} loops
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
c
o
m
parison,fu
n
c
t
ion_hooks: remove
imp
o
ss
i
b
le p
a
th
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
param
_
c
ompare_limit: li
k
e param_l
i
mit but
for
c
omparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
D
an Carp
e
nte
r
co
m
parison: add a FIX
M
E regarding
a
b
ug I
n
oticed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpe
n
ter
comparison: load/use
r
etu
r
n
compari
s
ons in the cros
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
D
an Carpenter
com
p
ar
i
son: load struct member inf
o
i
nto the c
a
lle
r
_info
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Da
n
Carpen
t
e
r
comparison: load
t
he cor
r
e
ct compari
s
o
n information
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
flow:
don't cal
l
scop
e
h
o
oks until after the END_FUNC_HOO
K
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
D
a
n
C
arpente
r
modif
i
cation_hooks
:
g
oing out of scope is
n
ot a modification
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
D
a
n Carp
e
nter
db/fixup_kernel
.
sh
:
update g
e
t
_u
s
er_pages()
t
o match
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpe
n
ter
functi
o
n_hooks: pu
l
l
is_
i
mp
o
s
s
ible_data() into
i
ts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpenter
c
omp
a
ris
o
n: cle
a
nup ha
n
d
le
_
c
o
mparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpente
r
comparison:
e
xport som
e
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-09
Dan Ca
r
p
e
nter
s
t
ates: nullify_path() should do free the
f
ake_c
u
r
_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
D
an Carpent
e
r
db: handle
c
omp
a
risons that
w
e know are true
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
D
a
n
C
a
rpenter
d
b
:
mark
s
o
me
t
rue fal
s
e paths impossible based
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan
Carpenter
ranges, db: if we can't filter by compa
r
i
son then use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Da
n
Carpenter
db: handle nes
t
e
d
c
al
l
s be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-04
Dan Carpenter
extra: re-write handle_AND_co
n
diti
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
an Carpe
n
ter
imp
l
ied:
h
a
n
dle impossi
b
le
paths fr
o
m complica
t
ed switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carp
e
nter
imp
l
ied
:
get rid of the ->im
p
lied
m
e
mb
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
an Carpenter
implie
d
: get rid
of a t
e
mporary variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
smatch_dat
a
/wine
.
no_return_funcs: add
m
or
e
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan
Carpenter
smatch
_
s
cripts/ge
n
_no_re
t
urn_f
u
n
c
s: fix this for
other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n
C
a
rpe
n
ter
pre-process:
make -nostdinc work again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
chec
k
_wine
:
make
r
ep
o
r
t
(R_FATAL,
.
.
.
) a nullif
y
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n Carpent
e
r
v
alidation/sm_WtoA: add single quotes
in o
u
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
an Carpenter
smat
c
h_scr
i
pt
s
: upda
t
e the gen_* scr
i
p
ts to
take
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n
Carpente
r
parse: ignore _Pragma
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n
Car
p
enter
s
mat
c
h_data/
w
ine
.
ignored_mac
r
os:
a
dd
o
k()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n Ca
r
p
enter
smatch_data/wine
.
n
o
_
return_funcs: updat
e
the list
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
enter
spar
s
e
: add /usr/i
n
clude/x86_6
4
-linux-
g
nu/ in
c
lude
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next