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
comparison: take original comparison into account (more)
2014-10-09
Dan Carpenter
co
m
par
i
so
n
: t
a
ke orig
i
nal
comparison in
t
o account
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carp
e
nter
validation: add a t
e
st for the r
e
cent funct
i
o
n
compa
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpe
n
t
er
function_hooks: func
t
ion comp
a
risons can
impl
y
a param
e
ter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
fixup_kernel
.
sh: several important
updates (bugfix
e
s)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
comparison
:
r
en
a
me fal
s
i
f
y_o
p
(
) to negate_comparison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
ranges: rename
filter_by_comparis
o
n() to something
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
Carpenter
comparison: re
n
ame fli
p
_op() to flip_comparis
o
n() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
Dan
C
ar
p
enter
Merge git://git
.
ker
n
el
.
org/pub/sc
m
/
devel/sparse/c
h
risl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
smdb
.
py: add some
help text
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpent
e
r
bu
i
ld_kerne
l
_data
.
sh: error out
if the right packages
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpe
n
ter
comp
a
rison: don't stor
e
comparis
o
ns to one's sel
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison
:
add a comment for u
p
d
a
t
e_
t
f_lin
k
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Da
n
Carp
e
nte
r
comparison
:
get rid of th
e
chunk_v
s
l_eq() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
compari
s
on:
p
ass the
fi
l
tered false s
t
a
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carp
e
nter
compari
s
on: clean
u
p up
d
ate
_
tf
_
data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
Dan C
a
rpenter
db:
f
ix h
a
ndling
of ne
s
t
ed calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
states:
add an a
s
sert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Car
p
enter
buf_s
i
ze:
h
andle strlen() a b
i
t better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
p
e
nter
l
oc
k
ing: add ffs_mutex_lock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
flow: the __
i
n_pre_condition var
i
able needs to be set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
s
m
atch
.
h: st
o
re some d
u
mmy datab
a
se types temporarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
te
r
db:
e
x
pos
e
th
e
data parameter so we can
use data
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
parse_c
a
ll
_
m
a
t
h:
c
h
a
nge API to us
e
range li
s
t
s (m
o
stly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
p
enter
r
an
g
es: fix parsing
t
h
a
t
I broke this a
f
ternoon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comparison: fix up filter_c
o
mp
a
riso
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Ca
r
pe
n
ter
ranges:
u
se the ra
n
ges stored in the
database properly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpenter
r
a
nges: fi
x
cr
a
s
hi
n
g bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges: simplif
y
a
n
d ro
b
usti
f
y str_to_rl_helper(
)
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
penter
param_limit: save
t
h
e com
p
arison to the
ar
g
uments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
function_hooks: f
i
x how database comparisons are done
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpe
n
t
er
comparison: pass t
h
e i
g
nore
field to range_comparison_to_par
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comparison: t
a
ke previo
u
s compar
i
sons into account
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpente
r
db:
p
refer li
t
erals to parameter
math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpente
r
db:
re
-
add
some miss
i
n
g [] chara
c
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan
C
a
rpenter
assigned_ex
p
r:
undefine on modifi
c
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carp
e
n
t
er
db
:
fix
how parameter math works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpe
n
te
r
assigned_exp
r
: add
reve
r
se l
i
n
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan C
a
rpenter
links: cr
e
ate a smatch_l
i
n
ks
.
c
file w
i
th
f
unct
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
nter
parse_call_math: fix left o
v
ers from the format chang
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpente
r
param
_
set: write s
t
ruct membe
r
s
in t
e
rms of par
a
meter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an Carpenter
extra: w
r
ite c
e
rtain
ret
u
r
n
ed struct members in terms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Carpent
e
r
db:
pass the return exp
r
ession to the returne
d
_member_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an Ca
r
pen
t
er
ex
t
ra:
s
a
ve r
e
turn values
in te
r
ms of pa
r
ameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpen
t
er
db:
u
nify ho
w
pa
r
ameter descr
i
p
t
io
n
s
are saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Ca
r
penter
c
o
m
parison: add
a
n ignore paramete
r
to expr_equal
_
to_param()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
arpenter
unreacha
b
le: ign
o
re t
h
e unreachab
l
e() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
err_ptr_deref: passing an ERR_PTR to kfree()
is
a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Ca
r
penter
extra: handle merging NULL pointers bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
D
a
n
Carpenter
e
xtra: addresses of array
s
a
re non-N
U
L
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n Carpenter
db: remov
e
bogus parameter information from hook ty
p
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan C
a
rpenter
db:
a
dd a new table which hol
d
pa
r
ameter types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carpen
t
er
t
y
pe: in
t
rod
u
ce t
y
pe_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpente
r
lo
c
king: remove some duplicate "sometimes locked" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Da
n
Carpenter
generisize
.
pl:
f
ilter some more st
u
ff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
generesi
z
e
.
p
l: cleanu
p
indentation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan C
a
rpe
n
ter
ranges: a poin
t
e
r
to an
a
rray is just
a
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpen
t
e
r
extra: record global declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Ca
r
penter
condit
i
ons
:
update some d
e
bug
o
utput
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpen
t
er
comparison: in
t
roduce possibl
e
_compa
r
ison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
extra: up
d
ate a debug statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
function_ptrs:
t
r
ack function
s
which r
e
turn a function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
s
h
ow_errs
.
sh:
q
uote
so
m
e st
r
ings properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
sli
s
t: put
g
e
t_sm_state_stree_s
t
ack() i
n
t
h
e
.
h file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
stat
e
s:
c
hang
e
the deb
u
g
o
utput format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
nter
str
u
ct_assignment
:
h
andl
e
kzalloc
(
) better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
slist: add the filename
t
o
some debug
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Ca
r
p
e
nter
flo
w
: parse global var
i
able
s
bef
o
re p
a
rsing functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
s
list: export t
h
e se
t
_st
a
te_
s
tree_perm() functio
n
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
te
r
comparison: a variable is always
e
q
u
al to itse
l
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan
C
arpenter
remove null tests for arrays
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan
Car
p
enter
Makefile:
allow CC to
be defi
n
ed outside the makefile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
D
an Car
p
ent
e
r
si
l
ence non-AN
S
I warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-05
D
a
n Carpenter
help
e
r: prevent segfa
u
lt in expr_to
_
var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-25
Dan Carp
e
nter
ex
t
ra: imp
r
ove hand
l
ing of "if (x * 4 > 12
)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-18
D
an Carpenter
mi
s
sing_break: mak
e
a function
stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-14
Dan Carpenter
db: fix
r
untime breaka
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carp
e
nter
d
e
refe
r
ences_para
m
: a
d
d mo
r
e
dereferenced v
a
riab
l
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpe
n
ter
r
anges: r
e
mov
e
u
n
n
eeded NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpenter
t
y
pe_va
l
: store f
a
ke assignme
n
ts in
a slig
h
tly differ
e
nt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Ca
r
pe
n
t
e
r
para
m
_set/filter
:
do
n
't print less useless informati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan Ca
r
penter
db: fix
u
p
a
ft
e
r ca
l
l_imp
l
ies changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan Car
p
e
nter
pa
r
a
m_cleared: ha
n
dl
e
d
irect assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
D
a
n Carpenter
db: make call_impl
i
es
match caller_info wit
h
a key
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-18
Dan Carpenter
smd
b
.
py: fix t
e
st for
if
a dataty
p
e is kn
o
wn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan
C
a
rpenter
assigned
_
expression: g
e
t the assigned expr
e
ssion using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan
C
a
r
penter
rosenberg: hand
l
e struct to struct assignme
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
data/kern
e
l
.
si
z
eof_p
a
ram
.
remove:
add __dynamic_pr_debug()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan C
a
rpenter
struc
t
_assi
g
nmen
t
:
introduce get_fak
e
d
_
expression
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan
C
arpenter
s
t
ruct_assign
m
e
n
t:
han
d
le memcpy(foo,
.
.
.
)
where
foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
D
an
C
a
r
pen
t
e
r
math: be more ambiti
o
us handling right shifts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
user_data: kstrtoul() and
fr
i
e
n
d
s
should taint data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
D
an Carpente
r
e
x
tra: mo
r
e limits o
n
which variables
a
re equiv
a
l
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Dan Carpenter
d
b:
g
e
t
retur
n
states fro
m
fu
n
c
t
ion po
i
nters if
possible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carpent
e
r
p
rop
a
gate:
r
e
move val
i
dati
o
n test becaus
e
w
e remo
v
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carp
e
n
t
er
sli
s
t: introduce merge_fa
k
e_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan
C
arpenter
unreacha
b
l
e: silence "not actually i
n
itialized" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan
C
a
rpenter
r
osenberg: fix some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpenter
debug: introduc
e
__smatch_
d
ebug_check() to debug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpent
e
r
*ne
w
*
check_no_if_b
l
ock: someti
m
es the if
blo
c
k is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carpenter
uncon
s
tant_macros
:
add VM_SOFTDIRTY
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next