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
extra: don't set states to unknown at the beginning of a function
2015-03-30
Dan Ca
r
pen
t
er
extra: don't set states to unkn
o
wn at t
h
e beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
en
t
e
r
e
xtra: do
n
't set tru
e
f
a
lse st
a
t
es i
f
they are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
function
_
h
ooks:
a
dd
a
h
ack
around in co
m
p
are_db_re
t
u
rn_st
a
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
li
s
t:
a
dd a
c
omment about register
_
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param_limi
t
: handle struct
membe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
states: white
s
pace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
ar
p
enter
conditio
n
s: ignore
k
n
o
wn/implied c
o
nditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
st
r
ings
:
r
e
cord string
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
struct_a
s
signment: s
a
ve a
lot more
i
nfo
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carp
e
nter
param_limit/filter: fix a type b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
c
om
p
arison: h
a
ndle c
a
nonical
f
or loops with vari
a
b
le
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carpenter
compari
s
on:
u
nsigned can not b
e
less
t
ha
n
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow: set __cur_stmt and __prev_stmt inside
f
or lo
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carpente
r
co
m
parison: merging eq
u
ivalent sta
t
es is not undefine
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
com
p
aris
o
n
:
f
ix an indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpenter
fun
c
tion_hooks
:
fix up
d
b
_
compa
r
e_call
b
ack()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
function_
h
ooks
,
debug: print
i
m
possible returns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Car
p
enter
h
elpe
r
:
d
on't
strip ca
s
ting in get_array_off
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpenter
links: expo
r
t mer
g
e
_link
_
states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
hel
p
er
:
make
expr_to_str() print forced casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
type:
m
ake
ty
p
e_to_str() re
t
u
r
n a
s
name() buffe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carp
e
n
t
e
r
mod
i
fication
_
ho
o
ks: set a variable as modified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpenter
u
ser_data2: ta
g
i
t if a func
t
ion sets par
a
m
e
ters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
stack: c
l
eanu
p
a
func
t
ion pro
t
otype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
deref_check
:
ig
n
ore
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan C
a
rpen
t
er
type:
make sval_t
y
pe_
m
ax() default to "long long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
typ
e
: don't ret
u
rn
S
YM_
N
ODE types from get_real
_
ba
s
e_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Ca
r
pen
t
er
side
_
e
f
fec
t
s: the
i
terate
_
all_kin
d
s(
)
macro ha
s
side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unreachabl
e
:
do
n
'
t complain about iterat
e
_all_ki
n
ds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
f
l
o
w
: fix "foo
+= !ba
r
;" assig
n
me
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpenter
lib:
h
andle -funsigned-char option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan C
a
rpenter
kernel
.
ignore_side_effe
c
t
s:
a
dd
some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
an Carpenter
indenting: allow "break; case XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpen
t
e
r
user_d
a
ta2: mark ssc
a
nf() output as user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n C
a
rpenter
math, rl:
fix handing division inv
o
lv
i
ng negativ
e
numbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
sval:
fix sva
l
_binop_o
v
erflows
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
pre
c
edence: co
m
plain about "foo <<
b
ar -
b
az"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
flow: hand
l
e
struct
i
nitialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan C
a
rpe
n
ter
estate: add a NULL
c
heck in esta
t
e
s_
e
quiv(
)
commit
|
commitdiff
|
tree
2015-03-03
D
a
n
C
arpe
n
ter
param_us
e
d: s
t
o
r
e
when a para
m
ete
r
is used so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan C
a
rpenter
e
x
tra: ignore mor
e
__in_fake_assign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carp
e
nter
comparison: fi
x
a cr
a
sh
i
ng bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n
Ca
r
penter
type: add an expr_
s
igned() fu
n
c
tion that
matches
expr_unsign
e
d(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arpenter
smdb
.
py: add f
u
nction
s
to
s
how functions impl
e
menting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Ca
r
penter
extra: h
a
n
dl
e
temp
o
rary
s
horthand
p
ointe
r
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpent
e
r
dereferences_param:
l
o
o
k
for pointers us
e
d
as an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Ca
r
penter
c
h
eck
_
inden
t
ing: warn
a
b
out
m
issing curly braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpen
t
er
param_c
l
eared: add
a
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan
C
arpenter
validation: correct
som
e
ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db: buil
d
in
d
exes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Ca
r
p
e
nter
slist: fix c
o
mpile br
e
akag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carp
e
nter
kerne
l
_
printf
:
si
l
ence some
false po
s
i
tives usin
g
smatc
h
_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carp
e
n
t
er
strin
g
s: r
e
c
o
rd
w
hi
c
h
strings are being u
s
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
user_data2: turn on skb->da
t
a tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carpenter
d
b
: re
n
ame
F
I
LTER_VA
L
UE, LIMI
T
ED_VALUE, and ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n Carpenter
ke
r
nel_
p
rint
f
: silen
c
e
some "struct sockaddr " fa
l
se
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
type:
add unions to type_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
D
a
n Carpenter
type_
v
alue: s
p
eed up l
o
a
d
ing t
h
e da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carp
e
nter
*
new* return_cast: complain a
b
o
u
t return
-E
I
N
V
AL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
r
pen
t
er
f
o
r
m
a
t_string:
d
elete th
i
s
b
e
c
ause check_kernel_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an C
a
rpente
r
function_hooks: add some debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
Ca
r
pente
r
extra:
c
leanup db_param_add_s
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
pe
n
ter
extra: separate PA
R
AM_LIMIT and PAR
A
M_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
func
t
ion_hooks: don'
t
take a sho
r
t
c
u
t for "needles
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
h
elper: introd
u
ce a
l
loc_state_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
math: handle "if (likely(1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Car
p
enter
math: fi
x
/
c
leanup
d
o_co
m
paris
o
n
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
C
arpenter
cappe
d
: do
n
't r
e
cord single values as capped in t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
e
n
ter
db: export get_static_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
user_d
a
ta2: wrong param
e
t
e
r
t
agged
as user data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg: d
e
lete s
o
me
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpen
t
er
rosenberg: strip away some
castin
g
(elimina
t
es a fa
l
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
rosenberg: don't save unneed
e
d states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
buf_size: don't
sav
e
us
e
less informa
t
ion in the data
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
struc
t
_assignment: ignore m
o
re fake assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
slist: fix debugging
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Ca
r
pente
r
param_cle
a
red
,
rosenberg:
add underscored
memset/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
an Carpenter
par
a
m_filter/
s
et: don't rec
o
rd fake assi
g
nment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpe
n
ter
slist, debugging:
d
on't print
-
>possible
list if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
C
a
rpenter
typ
e
_va
l
: add more s
t
uff to ign
o
re
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpen
t
er
d
b/reload_partia
l
.
s
h: change database in
f
o for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Da
n
Carpenter
kernel_printf: put lots of single quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
D
a
n Ca
r
pe
n
ter
Merge
b
ranch 'd
e
v
e
l3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
check_kern
e
l
_printf
.
c: Simplify recursive
c
alling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf: allow '\b' if
i
t's the
f
i
r
st ch
a
racter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
Carpent
e
r
validation/sm_
r
osenbe
r
g
.
c:
don't pass an
u
ninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel
_
printf: add some more quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kerne
l
_
p
r
int
f
: move a w
a
r
n
ing under the --spammy flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf: a
d
d some quotes ar
o
und
t
h
e
f
u
n
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpe
n
t
er
kerne_printf: '%pb' is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
D
a
n Carpe
n
ter
wrong_size_a
r
g: warn ab
o
ut
"
i
f
(memcmp(f
o
o, bar, size
o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
struc
t
_assignment: r
e
move a
blank
line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan C
a
r
pe
n
ter
s
val: hand
l
e
LEF
T
SHIFTs in s
v
al_binop_
o
ver
f
lows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n Carpenter
sval:
c
a
st the res
u
lt in sval_binop
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan C
a
rpente
r
type_val: update to handle
P
ARAM_SET
from th
e
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Carpenter
type_val: ignor
e
k
m
a
l
loc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpe
n
te
r
type
_
val: ignore a
l
l
the
"
fo
r
_each
"
macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
user_data2: remove som
e
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
Dan
Carpent
e
r
helper: introduce invert_o
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpent
e
r
ranges: break th
e
r
a
n
g
e
list parsing int
o
a s
e
pa
r
ate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next