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
parameter_names: store parameter names in the DB
2017-04-11
Dan Carpent
e
r
parameter
_
names: store paramet
e
r
n
ames
i
n
the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
nter
smdb
.
py: reformat c
a
ll_info output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
Makefil
e
: u
s
e quiet li
n
k
to link
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
an Carpente
r
states: fix handling switches
i
nside c
o
ndi
t
i
ons (fake_cur_stree
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Ca
r
penter
st
a
tes: split update_fake_stree_with_mer
g
ed() and add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
a
r
p
e
nter
ty
p
e_
v
al: small tw
e
ak for arrays
and co
m
plicated lval
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
nter
extra: han
d
le indirection like "p = &foo;
*
p
=
4
2;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Car
p
ent
e
r
extra
:
handle MOD co
n
d
i
tions like "if (a % 4)
{" better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modif
i
cati
o
n_hooks: rem
o
ve unus
e
d
i
ndirect modification
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
D
a
n Ca
r
p
enter
validation/skb
3
: d
e
lete
s
ome acc
i
dental debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carp
e
nter
u
s
e
r_data2: don
'
t
s
et parame
t
ers to user
_
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan
C
arp
e
nter
user_
d
ata2: handle
s
k
b->data math a l
i
ttle bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan
Carpe
n
ter
use
r
_data2: re-work handling of skb->data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
C
arpent
e
r
parse_call_math: work
a
r
ound f
o
r loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpenter
l
e
a
ks: do
n
't complain if we
o
ve
r
write
NULL pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
free: ignore
i
mpossi
b
le code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
ter
shift_to_zero: make the erro
r
m
e
ssag
e
more
i
nformative
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
ter
test_bit: add t
e
st_a
n
d_c
l
ear
_
bit
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
a
rpenter
smdb
.
p
y
:
p
r
int the
re
t
urn_implies val
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpente
r
db/fixup_kernel
.
sh: ignore do_loop_readv_writ
e
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpenter
e
xtra:
set hard max if
a function is called with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
a
rp
e
nter
extra:
f
ix hand
l
ing of
known conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
pa
r
a
m
_
limi
t
: don't set some unch
a
nged
l
imits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: prev
e
n
t
slow downs
s
plitting returns apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: se
t
p
arse_error if
t
he SQL fails
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
D
a
n
C
arpent
e
r
param_set: handl
e
if
t
h
e parent was se
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan
C
arpenter
buf_size: fix type_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carp
e
nter
db: filter
p
oin
t
er calls b
y
function signatur
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nter
imp
l
ied: re
v
ert "tiny spe
e
d
u
p"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an
C
arpenter
assign_vs_compa
r
e: w
a
rn
abo
u
t "if (foo = &bar) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
type: fix type_bits() for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
e
r
sh
i
ft_to_
z
ero: do a small clean
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
C
arpenter
smatch
.
c
:
r
e
move a b
l
ank
l
i
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
db:
s
pli
t
r
e
turn
stat
e
s
by n
u
ll v
s
non-null p
a
ram
e
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
ext
r
a: filter PARAM_VALUEs w
i
th both
extra and re
a
l_absolute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
te
r
math:
ha
n
dle -foo
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an
Carp
e
nter
helper: introduc
e
g
e
t
s
truct and member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carp
e
nter
implied: tin
y
s
p
eed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied:
s
mall cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
r
anges:
h
a
ndle
b
itwise AND operations bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
real_abs
o
l
ute: in
t
r
o
du
c
e get_real_absolute_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
ter
avl:
a
dd a short cut for when
t
he
r
e are no
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
ty
p
e_val
:
handle |= type ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
Da
n
Carpenter
db: rename "
f
unct
i
o
n
_type_info" ta
b
le to "function_type"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carpen
t
e
r
user_dat
a
2: if a user_d
a
ta is equal t
o
non-us
e
r data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
a
rpenter
pre-pro
c
ess: try find any i
n
clude
that
lo
o
k
s
like
it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
r
p
enter
compa
r
ison: re
m
ove so
m
e local
_
debug inform
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an
Carpenter
db/fixup_kernel
.
sh:
w
r
ite
t
o th
e
te
m
porary DB instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
e
xtra
:
f
i
x type issue handling ++=
an
d
--= ope
r
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
m
ath:
remove u
n
c
o
m
m
it
t
ed function call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpenter
math: f
i
x handling of sizeo
f
() __le16 type
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
penter
math: handle real_absolute variabl
e
s
m
ore accurat
e
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
real
_
abs
o
lute: ignore ite
r
a
tor pre statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
penter
helper: In expr_to_str() remove extra parenthesis around
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
d
b: introd
u
ce
s
q
l_insert_da
t
a_info_va
r
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpe
n
ter
db: us
e
"ex
t
e
r
n
"
instead o
f
the file name for globals
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
sparse: introduce parse_error v
a
riable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpen
t
e
r
user_data2
:
h
a
ndle functions th
a
t
merely ret
u
rn
passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carp
e
nter
hooks: introduc
e
ASS
I
GNMENT_HOOK_AFT
E
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpenter
db
:
gi
v
e
u
p handling fu
n
ction pointers
if
t
h
ere are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
D
an Carpenter
u
s
er_data2: remo
v
e
s
ome d
e
b
u
g printfs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carp
e
nter
user
_
data2: don
'
t set t
h
e
f
u
n
ction itse
l
f to user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data2: im
p
rove handling when we return user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
D
a
n
Ca
r
penter
function_hooks
:
d
on'
t
mark it
a
s imposs
i
ble if a
f
un
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
Dan Carpen
t
er
compa
r
ison: modify the l
i
nks
a
t
at start of an assignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan
C
arpenter
d
b
: cleanu
p
get
_
row_
c
ount()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
an Carpenter
implied:
rename
a
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
Carpen
t
e
r
es
t
a
te: add an
e
s
t
a
te_is_empty() fu
n
ctio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpent
e
r
d
b/ker
n
el
.
n
o_i
n
l
i
ne: don't parse the bite swa
p
f
u
nc
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
kernel: parse
ATOMIC_SET()
manually
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rpenter
db/ke
r
nel
.
return_fixes: add some more
fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
penter
db/fi
x
up_ker
n
el
.
sh: handle
__kernel_write() a bit bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
vim_db: handle older
v
ersions of vim
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db
/
f
ixup_kernel: handle __builtin_bswap64(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
function_hooks: change ord
e
r of
h
ow db v
e
rse implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpente
r
param_limit: d
o
n't inse
r
t
e
mpty states into the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Ca
r
penter
ranges:
u
se
a
hack arou
n
d so when
m
er
g
ing r
a
nges of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n Carpenter
ty
p
e_val: fix a memor
y
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpen
t
er
func
t
ion_hooks
,
d
b
: handle PARAM_L
I
M
IT for s
t
r
uct membe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpen
t
er
i
m
plied:
f
ix a
bug handling parame
t
er i
m
plic
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpe
n
ter
i
mpl
i
e
d
: add m
o
re
d
ebug informa
t
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Dan Carpenter
db: sort return_st
a
tes by file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flow: tiny cl
e
anup handlin
g
assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Da
n
Car
p
enter
flow: rem
o
v
e
an unneeded
c
ondition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flow: rename a variabl
e
"tmp" ->
"
r
i
ght"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
Dan
C
a
rpente
r
kernel
.
ignored_mac
r
os: a
d
d
LASSER
T
()
f
r
om lustre
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carp
e
nter
fun
c
tion
_
hooks, db: use
I
NTERNAL as the ma
r
ker for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
db: ha
n
dle function pointer
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
user
_
dat
a
2: math:
f
unction calls should be handled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpent
e
r
math
:
f
i
x a type issue with MOD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
D
a
n
Carpen
t
er
untra
c
ke
d
_
param: functi
o
ns tha
t
a
r
e
too ha
i
r
y are un
t
rackabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
a
d
dress: sim
p
lif
y
i
s
_
non_
n
u
l
l_array()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Ca
r
pe
n
ter
t
y
pe_val: use the
c
orr
e
c
t
type i
n
get
_
d
b
_
type_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Car
p
ent
e
r
imp
l
ied: fi
x
a bug with bor
r
owed
i
mplic
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Car
p
enter
flow: handle
d
dec
l
a
r
ed
l
abels better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpe
n
ter
ranges:
r
ead u64max c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
smatch: remove tests to se
e
if an
a
r
ray is NUL
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
extra: handle "if
(
a
+
b < a) { "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carp
e
nter
slist: Sile
n
ce a sma
t
ch warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan C
a
rpente
r
debug
:
a
d
d
the __s
m
atch
_
a
bs
o
lute() hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next