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
compare: introduce get_all_comparisons()
2014-10-27
Da
n
Carpenter
compare: introdu
c
e
g
e
t_al
l
_comparisons()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan
Carp
e
nter
db:
a
dd data_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
Dan Ca
r
p
enter
auto_cop
y
:
as
s
ignments copies states automatically
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
Dan
C
arpenter
buf_comparison:
look
for off by one
e
r
r
ors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Dan Carpenter
Mer
g
e
branch 'd
e
ve
l
'
commit
|
commitdiff
|
tree
2014-10-16
Dan
Carpenter
err_ptr_
d
eref: er
r
o
r m
e
ssage s
h
o
u
ld say
"negative"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
free: improve
c
ross function tracking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
D
a
n
C
arpente
r
s
h
ift_to_zero: check for
t
h
ings like "
(
fo
o
& 0x
f
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carpenter
parse_call_math: handl
e
math l
i
ke "$0
-
>
f
oo + 5"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpen
t
e
r
parse_call_
m
a
t
h
:
more format change fallou
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan
C
ar
p
ent
e
r
pars
e
_call_m
a
th
:
NULL te
r
minate buf size recipes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan C
a
rpen
t
er
call
_
math: us
e
rang
e
lists instead of
o
nly exact valu
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpenter
ranges: start
implem
e
n
t
ing rl_bino
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
compari
s
o
n
: stor
e
general limit
s
in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan
Carpenter
comparison: take orig
i
nal c
o
mpa
r
is
o
n int
o
accou
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n
Carpenter
valid
a
tion: add a
t
est for the recent function
com
p
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Da
n
Carpenter
function_
h
o
oks: funct
i
on co
m
paris
o
ns can imply a parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
D
an Carpente
r
fixup_kernel
.
sh: several importan
t
updat
e
s (bugfixes)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan C
a
rpent
e
r
comp
a
r
i
son
:
rename f
a
lsify_op() to
negate_co
m
p
a
rison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
ranges: renam
e
filter_by_comparison()
t
o something
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
an Carpenter
cgcc
:
reve
r
t p
a
rt of the -Werror che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
comp
a
rison: re
n
am
e
f
l
i
p_op() to flip_comparison()
an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
Dan C
a
r
penter
M
e
r
g
e
g
it://git
.
kernel
.
org/pub/scm/devel/s
p
arse/
c
hrisl
.
.
.
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 Carpenter
bu
i
ld_kernel_data
.
sh
:
error out if the right package
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comp
a
riso
n
: don't s
t
ore comparisons to one's s
e
lf
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpen
t
er
compar
i
son: add
a c
o
m
m
ent for u
p
date_tf_li
n
ks()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison: get rid of the chunk_vsl_eq() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpen
t
e
r
comp
a
rison: pas
s
the f
i
ltere
d
f
a
lse state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Ca
r
pent
e
r
compariso
n
: cleanup
up
d
ate_tf_d
a
ta()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpe
n
ter
db
:
fix handling of nested c
a
lls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
a
rpenter
states: add an
assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
buf_size: handle s
t
rl
e
n() a bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpen
t
er
locking: add ffs_mutex_lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Car
p
enter
flow: the __i
n
_p
r
e_condition variable needs to b
e
set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
smat
c
h
.
h: s
t
ore some d
u
mmy database
types t
e
m
p
oraril
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
db: expose the data
p
arameter so we
can use
d
ata in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Ca
r
p
e
nter
parse_c
a
l
l_math: change API
t
o us
e
range lists (mostly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpente
r
ranges: f
i
x
parsing that I broke this afternoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
compar
i
son:
f
ix up filter_c
o
mpa
r
iso
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
r
anges:
u
se t
h
e ranges stored in the database properly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
ranges: fix crash
i
ng bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an
C
a
rpe
n
ter
r
a
n
g
es: sim
p
lify and
robustify str_to_rl_helpe
r
() a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
param_limit:
s
ave the co
m
p
a
r
i
son to the
a
rgume
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
f
u
n
c
t
ion_hoo
k
s: fix
how database compar
i
sons are d
o
ne
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comparis
o
n: pass the
i
gnor
e
fie
l
d to rang
e
_compari
s
o
n_to_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carp
e
nter
compar
i
s
o
n: ta
k
e
prev
i
ous
c
omparisons into ac
c
ount
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan
C
a
rpenter
d
b
:
prefer lite
r
als t
o
parameter math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan C
a
rpenter
db: re
-
add
s
ome
m
issing
[
] ch
a
racters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Car
p
enter
as
s
i
g
n
ed_e
x
p
r:
undefine o
n
modi
f
ication
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Da
n
Ca
r
pent
e
r
db: fix how para
m
eter m
a
th wor
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Ca
r
penter
ass
i
gned_expr: add
r
e
v
e
r
se lin
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
an Carp
e
nter
l
i
nks: crea
t
e a smat
c
h
_
l
inks
.
c file with functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
parse_call_ma
t
h: fix left overs from
t
he
f
orm
a
t change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
an C
a
rpen
t
er
param_s
e
t: write struct members in
t
er
m
s of parame
t
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rpenter
extra: write certain r
e
turned st
r
uct members in terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
an Carpen
t
e
r
d
b: pass the
r
e
turn express
i
on to the returned_member_ca
l
lback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Carpenter
ex
t
ra
:
s
ave return val
u
es i
n
t
er
m
s of
p
aram
e
t
e
r math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpe
n
ter
db: unif
y
how
parameter
d
esc
r
ipti
o
ns are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
comparis
o
n: add an ignore pa
r
ame
t
er
to e
x
pr_equal_to_
p
ar
a
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Car
p
ent
e
r
unreachable: ign
o
re the unreachable() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpente
r
err_ptr_deref: passing an
E
RR_PTR to kfree() is a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Da
n
Carp
e
nter
extra: handle merging NULL pointers
b
ette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpe
n
ter
extra: address
e
s
o
f arrays
a
re no
n
-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Da
n
Carpenter
d
b
:
remov
e
b
o
gus
paramete
r
information fro
m
h
o
ok type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan
Carpe
n
ter
db: add a new table which
h
ol
d
parameter
types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carpenter
typ
e
:
introd
u
ce
t
ype_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
locking:
r
e
move some duplicate "some
t
imes locked
"
w
arnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
generisiz
e
.
pl
:
filter some more
s
t
uff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Car
p
enter
generesize
.
pl: clean
u
p i
n
d
enta
t
io
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
r
a
nges: a point
e
r t
o
an a
r
ra
y
is just a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
e
x
tra: reco
r
d g
l
o
ba
l
d
eclarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carp
e
nter
co
n
di
t
ions: update some debug output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpenter
compari
s
on: i
n
trodu
c
e po
s
s
ible_compariso
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
extr
a
: update a debug sta
t
ement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
function_ptr
s
: tra
c
k
func
t
ion
s
which r
e
turn a fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
a
r
pe
n
ter
show_
e
rrs
.
s
h
:
quo
t
e some
str
i
n
g
s
pr
o
perly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rp
e
nter
s
l
ist: put get_sm_s
t
ate_
s
tree_stack() in
the
.
h file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
states: ch
a
nge the debug ou
t
put
f
ormat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
struct_
a
s
signment:
h
andle k
z
alloc() be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
slist: add
the filena
m
e to some debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
flow: parse g
l
obal variabl
e
s
before pa
r
s
i
ng fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
slist:
e
xport the
set_state_st
r
e
e
_
perm() funct
i
on to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Carpenter
comparison: a
varia
b
le is
always
e
qual to i
t
se
l
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpen
t
er
rem
o
ve null tests f
o
r arrays
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan
C
a
r
penter
Makefile: al
l
ow CC to be defined outside t
h
e ma
k
efile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
s
i
l
ence non-AN
S
I warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
Dan
Carpenter
h
e
lper
:
p
revent segfault i
n
expr_t
o
_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
Dan Carpenter
extra: improve handling of
"
if
(
x
* 4
>
1
2
) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Dan Carpenter
missing_
b
re
a
k: make a
function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
Dan Carpenter
db:
fi
x
r
unt
i
me bre
a
kage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carpente
r
der
e
f
e
r
ences_para
m
:
add more dereferenced var
i
ables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
D
an
Carpe
n
ter
rang
e
s
: remove unn
e
eded NUL
L
che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpenter
t
y
pe_val: stor
e
f
a
k
e
assignments in a slightly different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Ca
r
penter
p
aram_set/filte
r
:
d
on'
t
print
less u
s
eless in
f
ormation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
db: fix
u
p after
call_implie
s
cha
n
g
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Ca
r
penter
para
m
_cleared: han
d
l
e
direct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
D
a
n Carpenter
db:
m
ake call_implies match caller_
i
nfo with a
k
ey
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-18
Dan C
a
rpe
n
te
r
smdb
.
p
y: fix test for if a datat
y
pe
is
known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carp
e
nter
assi
g
ned_expression: get th
e
assigned expression
using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next