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
smatch.h: move stree_stack declaration from smatch_slist.h to smatch.h
2015-04-09
Dan Car
p
enter
s
m
atch
.
h
:
move stree_stack dec
l
ar
a
tion from smatch_slist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpenter
r
o
senberg:
a
dd
__builtin_mems
e
t/memcpy()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
user_data2: handle re
t
urned struc
t
m
embers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
compar
i
son:
update a c
o
mment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
smdb
.
p
y: upd
a
t
e
to refl
e
ct LIMIT/FILTER ch
a
n
ge
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
unwind: add
so
m
e null c
h
ecks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
type: includ
e
smatch_slist
.
h to prevent a segfau
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra: d
o
n
'
t set
states to
u
n
k
nown at the begin
n
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Ca
r
pe
n
ter
extra:
don't set true
f
alse
sta
t
es if they
a
re t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
r
penter
fu
n
ctio
n
_hooks: add a hack
ar
o
u
n
d in com
p
are
_
d
b_return_s
t
a
te
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
list: add a commen
t
about
r
e
g
i
s
ter_implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Carpe
n
ter
param_limit
:
handle struct membe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpent
e
r
states: w
h
ite space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
condi
t
ions: ignore known/implied con
d
i
t
io
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
strings:
record st
r
i
n
g assignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an
C
arpent
e
r
struct_assig
n
ment: save a lot mo
r
e
i
nform
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param_lim
i
t/filt
e
r
:
fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Silvan Jege
n
db: Avoid
d
ereferencing
null pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
an Ca
r
pen
t
e
r
comparison: handle c
a
n
onical for loops
with variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: unsigned can
n
o
t be less
t
h
an zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Carpenter
flo
w
: se
t
__cur_stmt
a
nd
_
_prev_stm
t
inside for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
enter
comparis
o
n: mer
g
in
g
equivale
n
t
s
t
ates is not undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Ca
r
penter
c
ompa
r
ison: fix an
indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
function_hooks:
fix
u
p db_c
o
mpare_call
b
ack()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carp
e
nt
e
r
function_
h
ooks, debug: print impos
s
ible re
t
urns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
helpe
r
:
don't
strip casti
n
g in get_array
_
offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
links: expor
t
m
e
r
ge_link_st
a
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
e
nt
e
r
he
l
per: make expr_to_str() print f
o
r
ced
c
asts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
t
y
pe: make typ
e
_to_st
r
()
return
a
sname() buffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Car
p
ent
e
r
m
odification_hooks: set a variable
a
s
m
o
d
i
fied
w
hen
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
en
t
er
use
r
_
d
ata2: t
a
g it
i
f a function s
e
ts
p
a
r
amet
e
rs to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Ca
r
penter
st
a
c
k
: clean
u
p a f
u
n
c
t
i
o
n pr
o
t
otype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
d
e
r
e
f_check: i
g
nore
ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan
C
a
rpenter
t
ype: m
a
ke
sv
a
l_type_max() default to "l
o
ng long"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type: don't re
t
urn SYM_NO
D
E types
f
r
om get_real_bas
e
_
t
y
pe
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
si
d
e
_
effects: the
i
terate_all_ki
n
ds() ma
c
ro ha
s
side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Ca
r
penter
unre
a
c
h
able:
don't complain ab
o
u
t iterate_all_kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan Ca
r
pe
n
ter
flow: fi
x
"
foo +=
!
bar;"
a
ssignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
D
a
n
Carpenter
lib: handle -funsigne
d
-
char
opt
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Ca
r
penter
kernel
.
ignore_side_effe
c
ts: add some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n Carp
e
n
ter
indenti
n
g
:
a
llow "break;
case XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
user_data2
:
mark sscanf() outp
u
t
as user d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
math, r
l
:
fi
x
handing di
v
ision involvi
n
g
negative
n
umb
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
an Ca
r
penter
s
val: fix sval_binop_ove
r
flow
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
p
r
e
cedence: comp
l
a
i
n
about "foo <<
b
ar - b
a
z"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
flow
:
handle struct
i
n
i
tializat
i
o
n be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
estate: ad
d
a NULL check in estates_equiv(
)
commit
|
commitdiff
|
tree
2015-03-03
Dan
Carpenter
pa
r
a
m
_
us
e
d:
stor
e
when a
p
arameter is used so
we don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n
C
a
rpent
e
r
e
xt
r
a: ignore more _
_
in_fake_assign data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan
Carpenter
comparison: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
ty
p
e: add an expr_signed
(
) fu
n
c
tion that ma
t
ches expr_unsig
n
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Carpenter
smdb
.
py: add fun
c
tions t
o
show fu
n
c
tio
n
s implementing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carp
e
nter
extra: handle temporary short
h
and poin
t
e
r
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
Carpenter
deref
e
rences_para
m
: look for po
i
nters used as an array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
check
_
indenting:
warn
a
bout missing curly braces an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpente
r
par
a
m_cleare
d
: add a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Ca
r
p
e
nter
validation: correct
some output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
A
aro Koskinen
b
uil
d
: allow
use of PKG_CONFIG to override
pkg-config
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan C
a
rpen
t
er
d
b: b
u
ild indexes faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
an
Carpe
n
ter
slist: fix
c
ompile breakage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kernel_pr
i
n
t
f:
s
ilence s
o
m
e
false pos
i
tives usin
g
s
match_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n Carpenter
strings: record whic
h
string
s
are b
e
i
ng
u
sed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Ca
r
penter
u
s
er_data2: tur
n
on s
k
b->d
a
ta tagging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
d
b
: rename FIL
T
ER_VALUE, LIMITED_VALUE, and A
D
DED_VALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpenter
kernel_printf: silence so
m
e "s
t
ruc
t
sockaddr " false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
ty
p
e: add
unio
n
s to type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
type_value:
s
peed up load
i
n
g
th
e
da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*new* retur
n
_ca
s
t: compla
i
n
about r
e
turn
-
EIN
V
A
L
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
format_str
i
ng
:
delete
t
his because check_kern
e
l_printf
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
fun
c
ti
o
n_hooks: add some
d
ebug
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
extra: clea
n
up db_param_add_
s
et()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
extra
:
separate PA
R
AM_LIMI
T
an
d
PARAM_FILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_hooks: do
n
't take a shortcut for "needless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
helper
:
introduce all
o
c_state_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
ar
p
en
t
e
r
math: h
a
ndle "if (l
i
kely(
1
)) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
m
a
t
h
: fix/
c
leanup do_
c
ompari
s
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
c
a
pped: don't record
s
ingle values as capp
e
d
i
n t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
d
b: e
x
port get
_
static
_
filte
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
u
s
er_data2:
wrong
pa
r
ameter
tagged as
user
data in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
rosenb
e
rg: delete some
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
rose
n
b
erg: strip away
s
o
m
e
casting (eliminates a false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
r
o
senberg: don'
t
save
unneeded states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nte
r
buf_siz
e
: don't
sa
v
e useless information in the da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
struct_assignment: i
g
nore more
fake assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
slis
t
: fix debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpente
r
param
_
cleared
,
rosenberg:
a
dd
unders
c
ored
m
emset/c
p
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
D
an Carpenter
p
aram_f
i
lter/set:
d
o
n't recor
d
fake
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
slis
t
, debugging: don't print ->possible
list i
f
there
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carp
e
n
t
e
r
t
y
pe_val: add more stuff to ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
r
p
e
n
te
r
db/
r
elo
a
d
_
partial
.
sh
:
change datab
a
se
info f
o
r
o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Silvan Jegen
Documentation f
i
xes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
D
an
Carpenter
ke
r
n
el_print
f
: put lots of single quote
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Car
p
enter
M
e
rge br
a
nch
'
devel3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus
V
illemoes
check_kernel_prin
t
f
.
c: Allow const char[] format
a
rgu
m
ents
commit
|
commitdiff
|
tree
2015-02-12
R
a
smus Villemoes
check_kernel_
p
rintf
.
c: Han
d
le 'fmt ? : "
d
efaul
t
"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
c
heck_kernel_printf
.
c:
Simp
l
ify recursive
c
a
l
lin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpe
n
ter
c
h
eck_kern
e
l_printf
.
c: Simplify recu
r
sive c
a
lling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Ca
r
p
ent
e
r
kernel_
p
rintf: allow '\b' if it's the first c
h
aracter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
p
e
n
ter
validation/sm_rosenberg
.
c: don't pass
a
n
unin
i
tialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kern
e
l_printf: add some m
o
re quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next