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
type_val: cast assignments to the correct type
2017-01-27
D
an C
a
rpenter
math: handle -foo be
t
te
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
helper:
i
nt
r
oduce
g
et struct and member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
implied: tiny speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
implied: s
m
all cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpenter
r
a
nges: handle
b
i
t
w
ise
AND op
e
rat
i
o
ns
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpe
n
ter
r
eal_absolute: introduc
e
ge
t
_real_absolute
_
var_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
n
t
er
avl: add
a short c
u
t for
w
hen
t
here are no
state
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
type_
v
a
l
:
h
a
n
dl
e
|= type
assign
m
e
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
Da
n
Carpenter
db: rename "function_
t
y
pe_info" table
to "fun
c
tion
_
type"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
e
n
t
er
user_data2: if a user_data is equal to no
n
-user
data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
pre-process:
t
ry find any
i
nclude
t
hat
looks l
i
ke it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
compar
i
s
on: remove so
m
e loc
a
l_debug info
r
matio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
enter
db/f
i
xup_
k
ernel
.
sh:
w
rit
e
to the tem
p
orary DB instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpenter
extra: fix type
i
ss
u
e handling ++= an
d
--= oper
a
tion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
math: remov
e
uncommitted function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpenter
mat
h
:
fix
h
andl
i
ng of size
o
f()
_
_
l
e
1
6 ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpe
n
t
e
r
math: h
a
n
dle real_abs
o
lute variables mo
r
e accurately
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
a
r
penter
real_a
b
solut
e
:
i
gnore iterator pre statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
h
e
lper: In expr_to_str() remove extra parent
h
esis around
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Carpente
r
db: introduce s
q
l_insert_data_
i
nfo_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
db: use "extern" instea
d
o
f
the file nam
e
for glo
b
al
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
a
rpen
t
er
sparse: int
r
oduce parse_error var
i
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_d
a
ta
2
: handle function
s
that merel
y
return passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
D
a
n
Ca
r
penter
hooks: introduce
A
SSIGNME
N
T_HOOK_AFTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
D
a
n
Carpenter
db
:
give up handling funct
i
on pointers if
t
here
a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
D
a
n
Carpenter
u
s
e
r
_
data2: remove
s
ome deb
u
g
printfs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data2: don't set the function itself to use
r
_dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
D
an Carp
e
nter
use
r
_data2: improve handling
when we r
e
turn u
s
e
r
d
a
ta
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
Dan Carpe
n
te
r
funct
i
on_hoo
k
s
: don't mark
i
t as
impossi
b
le if a function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
D
a
n Carp
e
nter
comparison: m
o
dify
the
l
inks a
t
a
t st
a
rt of a
n
assignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
Da
n
Carpenter
db:
clean
u
p get_row_c
o
un
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
implied: rename a fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
an
Carpenter
est
a
te: add an estate_is_empty()
f
u
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpent
e
r
db/ker
n
el
.
n
o
_inl
i
ne:
d
on't parse
the bite
s
wap functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
kernel: parse
A
TOMIC_SET() ma
n
ual
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/kernel
.
return_fixes: ad
d
some more fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpe
n
ter
db/fixu
p
_
k
ern
e
l
.
sh: handle
_
_kernel_write() a bit
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n Carpe
n
ter
vim_db: handl
e
o
l
der vers
i
on
s
of vim
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpen
t
er
db/f
i
xup_
k
ernel: ha
n
dle
__builtin
_
bswap
6
4()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
Carpenter
function_hooks: cha
n
ge order
o
f
h
ow db verse
implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
nte
r
param_
l
imit: don't insert empty state
s
into the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
range
s
:
use a
h
ack around so when mergi
n
g ranges of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan C
a
rpenter
t
yp
e
_val:
f
ix
a
mem
o
ry le
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Ca
r
penter
fun
c
tion_h
o
o
k
s, db:
handle P
A
RAM_
L
IMI
T
f
o
r s
t
ruc
t
mem
b
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
C
arpenter
implie
d
: fix
a
b
ug handling parame
t
e
r
i
mplications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
an
C
arp
e
nter
implied: add m
o
re debug i
n
fo
r
mati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-05
D
a
n Ca
r
penter
d
b
: sort ret
u
rn_states by file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Car
p
ent
e
r
flow: tiny cleanup handling assi
g
n
men
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Car
p
e
nter
flow: r
e
move
a
n unneeded
condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
fl
o
w: re
n
ame a
variable
"
tm
p
" -> "r
i
ght"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-15
Dan Carpenter
kernel
.
ignor
e
d_macros: add LASSERT() from lu
s
tr
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Da
n
Carpenter
f
unction_
h
o
o
ks, db:
u
se INTERNAL as the marke
r
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan
C
a
rpent
e
r
d
b:
h
andle
f
unction pointers
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpente
r
u
s
e
r_data2
:
ma
t
h: function
calls should be handled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
D
an
C
a
r
p
e
nter
m
a
th: f
i
x a
typ
e
is
s
ue w
i
th
MOD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-28
Dan Carp
e
nter
u
n
t
r
acked_
p
aram: funct
i
on
s
that are
too hairy are unt
r
ac
k
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan C
a
r
penter
a
dd
r
es
s
: s
i
mplify is_non_nu
l
l_array()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan
Carpen
t
er
type_val: use the
c
orrect type in get_db_typ
e
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan
C
arpenter
implied: fix
a bug with borrowed impl
i
catio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan C
a
rpente
r
flow:
h
andled d
e
cl
a
red lab
e
l
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan
C
ar
p
enter
ranges: read u64max correct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carp
e
nt
e
r
s
match:
r
emove tests to s
e
e if a
n
array is N
U
LL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carp
e
nt
e
r
extra: hand
l
e "if
(a + b
<
a) { "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
s
l
ist: Silence
a smatc
h
warnin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n
C
arpenter
debu
g
: add the __smatch_abs
o
lute() hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Car
p
enter
buf_size: Using plain integer as NULL pointe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
db
:
Us
i
ng pl
a
in
integer
a
s
NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan C
a
rpenter
ast-model: Using
p
lain int
e
ger as NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
pe
n
ter
debug: add
a __smatch_a
b
so
l
ut
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
user_data:
s
h
o
r
t cir
c
uit a bu
n
ch of cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
dma_mapping_e
r
r
o
r: add pci_dma_mapping_
e
rror() to
t
his
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
continu
e
_vs_break: a
d
d
it checklist
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
penter
smatch
_
address: don't crash
on
invalid
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Car
p
enter
*
new* continue_vs_br
e
ak: complain
if continue is
used
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpente
r
smatc
h
.
h:
r
e
s
erve some db types for lat
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
pente
r
smatch
.
h
:
s
h
uffle s
o
me decl
a
r
a
t
ions a
r
ou
n
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
s
match
.
h:
sile
n
c
e a com
p
ile warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpenter
cappe
d
: set it to
u
n
c
ap
p
ed if
it's modified
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an
C
arpenter
db/
f
ixup_kernel
.
s
h: work aro
u
n
d for _
_
to_fd()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
db/fixu
p
_ke
r
nel
.
sh: work a
r
ound
f
or gfs2_ea_find()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carp
e
n
t
er
db/kernel
.
return
_
fixes
:
speci
f
y som
e
functi
o
n
s t
h
a
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
en
t
er
imp
l
ied: a
d
d mo
r
e
i
n
f
o
rmation t
o
the d
e
b
ug outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
enter
d
eb
u
g
: print if you give a ba
d
che
c
k name t
o
__smatch_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
smatch_data/wine:
update wine
data files
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
er
extra: add more parameter derefe
r
ence
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
m
ath: don't crash on invalid
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
user_data2: sk
b
->data is not user data, sk
b
->data[0]
is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
er
type_val
u
e: it doesn't make sense to talk abou
t
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
Carpenter
extra: improve how "if (
f
o
o & ~0xF)" is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
Ca
r
p
ente
r
math: ignore byte sw
a
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
flo
w
: handle wh
i
le (42)
{
.
.
.
} loo
p
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpe
n
ter
c
omparison,
f
unction_hooks: remo
v
e impossible
p
aths
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
para
m
_compare_l
i
mit: like
param_limit bu
t
for compa
r
iso
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan
Carpenter
compa
r
i
s
on: add a FI
X
ME regarding
a bug I
noticed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carp
e
nter
comparison: load/use r
e
tur
n
com
p
arisons in the cross
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
comparison: load str
u
ct member info
i
nto the caller_info
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
D
a
n
Carpenter
comparison: load the c
o
rrect comparison inform
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
flow: don't call scope hooks un
t
il af
t
er the END_FUNC_
H
OOKs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan C
a
r
penter
modificat
i
on_hooks: goin
g
out of scope is not a modificat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
D
an Carpenter
db/fixup_kernel
.
sh:
update get_user
_
pages() to match
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next